Sign inSign up

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

Manifest digest

sha256:be3e6ea4b89d38c5dd5ccf8bfb89c0e4daf9402650525335cd47b9afef9f62b4

OS/ARCH

linux/amd64

Compressed size

635.07 MB

Last pushed

over 7 years by leunam217

Type

Image

Manifest digest

sha256:be3e6ea4b89d38c5dd5ccf8bfb89c0e4daf9402650525335cd47b9afef9f62b4

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 cp ~/.opam/4.05.0/bin/learn-ocaml-client /home/coq/.local/bin1.37 MB
26WORKDIR /home/coq0 B
27/bin/sh -c rm -fr learn-ocaml167 B
28/bin/sh -c opam config list166 B
29/bin/sh -c opam clean -a1.95 KB
30COPY --chown=coq:coqfile:bbdb4bdf963d284ded2172c87cd4547af5091750903b432301ecefae170462e1 in .emacs 1.19 KB
31ENV LANG=en_US.UTF-80 B
32ENV LANGUAGE=en_US:en0 B
33/bin/sh -c emacs --batch -l1.54 MB
34ENV PATH=/home/coq/bin:/home/coq/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
35CMD ["/bin/bash"]0 B

Command

ADD file:843b8a2a9df1a07305ff3d02484d4be7f769057c6d2e311d52d59e00deb917c6 in /