Sign inSign up

erikmd/opam-emacs-learn-ocaml-client:2019-06-07-v1

Manifest digest

sha256:4f562542a0c8d95223f2d7c18e2c84522cc96272747c402be544a466fac4346c

OS/ARCH

linux/amd64

Compressed size

641.41 MB

Last pushed

over 7 years by leunam217

Type

Image

Manifest digest

sha256:4f562542a0c8d95223f2d7c18e2c84522cc96272747c402be544a466fac4346c

Image Layers

Image Layers

1ADD file ... in / 43.24 MB
2CMD ["bash"]0 B
3LABEL [email protected]0 B
4/bin/sh -c apt-get update -y97.24 MB
5ARG guest_uid=10000 B
6ARG guest_gid=10000 B
7|2 guest_gid=1000 guest_uid=1000 /bin/sh -c3.35 KB
8COPY file:cc5001ad253861712d57ed13730fe74ca2182e793a9cc8428d885dec6c1b2013 in /etc/profile.d/ 606 B
9WORKDIR /home/coq0 B
10USER coq0 B
11ENV NJOBS=20 B
12ENTRYPOINT ["opam" "exec" "--"]0 B
13CMD ["/bin/bash" "--login"]0 B
14WORKDIR /home/coq0 B
15/bin/sh -c sudo apt-get update43.3 MB
16ENV COMPILER=4.05.00 B
17/bin/bash --login -c set -x97.61 MB
18/bin/sh -c git clone https://github.com/ocaml-sf/learn-ocaml.git6.53 MB
19/bin/sh -c sudo apt update11.95 MB
20/bin/sh -c sudo apt install4.12 MB
21WORKDIR /home/coq/learn-ocaml0 B
22/bin/sh -c opam install .256.87 MB
23/bin/sh -c opam install opam-installer14.09 MB
24/bin/sh -c eval $(opam env)57.21 MB
25/bin/sh -c sudo cp ~/.opam/4.05.0/bin/learn-ocaml*5.39 MB
26/bin/sh -c mkdir /home/coq/.local/share/ /home/coq/.local/share/learn-ocaml232 B
27/bin/sh -c mv /home/coq/learn-ocaml/static/* /home/coq/.local/share/learn-ocaml/www/2.37 MB
28/bin/sh -c sudo addgroup learn-ocaml828 B
29/bin/sh -c sudo adduser --ingroup4.22 KB
30/bin/sh -c sudo mkdir /sync287 B
31/bin/sh -c sudo chmod 7777262 B
32WORKDIR /home/coq0 B
33VOLUME [/repository]0 B
34VOLUME [/sync]0 B
35EXPOSE 80800 B
36EXPOSE 84430 B
37/bin/sh -c opam config list223 B
38/bin/sh -c opam clean -a1.97 KB
39COPY --chown=coq:coqfile:bbdb4bdf963d284ded2172c87cd4547af5091750903b432301ecefae170462e1 in .emacs 1.18 KB
40ENV LANG=en_US.UTF-80 B
41ENV LANGUAGE=en_US:en0 B
42/bin/sh -c emacs --batch -l1.48 MB
43ENV PATH=/home/coq/bin:/home/coq/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
44CMD ["build" "serve"]0 B
45ENTRYPOINT ["learn-ocaml" "--sync-dir=/sync" "--repo=/repository"]0 B

Command

ADD file:843b8a2a9df1a07305ff3d02484d4be7f769057c6d2e311d52d59e00deb917c6 in /