erikmd/opam-emacs-learn-ocaml-client:2019-06-03-v0

Manifest digest

sha256:cce938054ab46c3551eee06b364a745cbfaf3704487b92f211744bc2397b1185

OS/ARCH

linux/amd64

Compressed size

274.03 MB

Last pushed

over 7 years by erikmd

Type

Image

Manifest digest

sha256:cce938054ab46c3551eee06b364a745cbfaf3704487b92f211744bc2397b1185

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 -x88.74 MB

18COPY --chown=coq:coqfile:d223c4f507b6dbd01150fa87eb06ce3d81bcb2f286e09a5deb2eb43c8fb8a2ba in .emacs 1.19 KB

19ENV LANG=en_US.UTF-80 B

20ENV LANGUAGE=en_US:en0 B

21/bin/sh -c emacs --batch -l1.5 MB

22ENV PATH=/home/coq/bin:/home/coq/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

23CMD ["/bin/bash"]0 B

Command

ADD file:843b8a2a9df1a07305ff3d02484d4be7f769057c6d2e311d52d59e00deb917c6 in /