Sign inSign up

ls1tum/artemis-ocaml-template:latest

Multi-platform
Manifest digest

sha256:41d7616c084e4c0ecdf5bf567e0dc7c4bf52dca1db6b99a4abea969e693fe9b9

OS/ARCH

Compressed size

538.64 MB

Last pushed

over 4 years by ls1tumadmin

Type

Image

Manifest digest

sha256:41d7616c084e4c0ecdf5bf567e0dc7c4bf52dca1db6b99a4abea969e693fe9b9

Image Layers

Image Layers

1ADD file ... in / 25.91 MB
2CMD ["bash"]0 B
3/bin/sh -c ln -fs /usr/share/zoneinfo/Europe/London0 B
4COPY file:d711089fc834c13355f5c7f313d60709aa244fb0a120f1f3ae147a995c9d6a22 in /usr/bin/bwrap 0 B
5/bin/sh -c apt-get -y update0 B
6/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
7/bin/sh -c echo 'Acquire::Retries "5";'0 B
8/bin/sh -c apt-get -y update0 B
9/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
10/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
11COPY file:7bc92e0103ff617cc2ba4edbd3d91f12e132bf4f46e13850b7a52f29060eb311 in /usr/bin/opam-2.0 0 B
12/bin/sh -c ln /usr/bin/opam-2.0 /usr/bin/opam0 B
13COPY file:ba524e18df731ef68ec1b5c633cf89b3fbec3449c592f35511b76e6c79fc7831 in /usr/bin/opam-2.1 0 B
14COPY file:594b20e29303552b2a77a279ce69267897aa6545f94a3294cff26791f32eac79 in /usr/bin/opam-dev 0 B
15/bin/sh -c ln /usr/bin/opam-dev /usr/bin/opam-2.20 B
16/bin/sh -c echo 'debconf debconf/frontend0 B
17/bin/sh -c echo 'opam ALL=(ALL:ALL)0 B
18/bin/sh -c chmod 440 /etc/sudoers.d/opam0 B
19/bin/sh -c chown root:root /etc/sudoers.d/opam0 B
20/bin/sh -c adduser --uid 10000 B
21/bin/sh -c passwd -l opam0 B
22/bin/sh -c chown -R opam:opam0 B
23USER opam0 B
24ENV HOME=/home/opam0 B
25WORKDIR /home/opam0 B
26/bin/sh -c mkdir .ssh0 B
27/bin/sh -c chmod 700 .ssh0 B
28/bin/sh -c echo 'wrap-build-commands: []'0 B
29/bin/sh -c echo 'wrap-install-commands: []'0 B
30/bin/sh -c echo 'wrap-remove-commands: []'0 B
31/bin/sh -c echo 'required-tools: []'0 B
32/bin/sh -c echo '#!/bin/sh' >0 B
33/bin/sh -c echo 'cp ~/.opamrc-nosandbox0 B
34/bin/sh -c echo 'echo ---0 B
35/bin/sh -c chmod a+x /home/opam/opam-sandbox-disable0 B
36/bin/sh -c sudo mv /home/opam/opam-sandbox-disable0 B
37/bin/sh -c echo 'wrap-build-commands: ["%{hooks}%/sandbox.sh"0 B
38/bin/sh -c echo 'wrap-install-commands: ["%{hooks}%/sandbox.sh"0 B
39/bin/sh -c echo 'wrap-remove-commands: ["%{hooks}%/sandbox.sh"0 B
40/bin/sh -c echo '#!/bin/sh' >0 B
41/bin/sh -c echo 'cp ~/.opamrc-sandbox0 B
42/bin/sh -c echo 'echo ---0 B
43/bin/sh -c chmod a+x /home/opam/opam-sandbox-enable0 B
44/bin/sh -c sudo mv /home/opam/opam-sandbox-enable0 B
45/bin/sh -c git config --global0 B
46/bin/sh -c git config --global0 B
47COPY --chown=opam:opamdir:4560096063e53dddc79815d8d6ace32f48dd7f93a2789187e422fbc5f9b5f6fa in /home/opam/opam-repository 0 B
48/bin/sh -c opam-sandbox-disable0 B
49/bin/sh -c opam init -k0 B
50/bin/sh -c rm -rf .opam/repo/default/.git0 B
51COPY file:ed4cad61ecc6c8a72b2f88b80cebdfde4ebda3867ab6e7972acc85098b78297b in /Dockerfile.opam 0 B
52300.37 MB
53ENV OPAMYES=1 OPAMCONFIRMLEVEL=unsafe-yes OPAMERRLOGLEN=00 B
54/bin/sh -c opam switch create0 B
55/bin/sh -c opam pin add0 B
56/bin/sh -c opam install -y0 B
57ENTRYPOINT ["opam" "exec" "--"]0 B
58CMD ["/bin/sh" "-c" "bash"]0 B
59COPY file:f08ad4a0e637158bebc7a905651d6dc36fc3cfc3d5f83e840dbfc3c15c899fb1 in /Dockerfile.ocaml 0 B
60192.4 MB
61USER root0 B
62RUN /bin/sh -c apt-get update2.89 MB
63RUN /bin/sh -c apt-get install341.84 KB
64RUN /bin/sh -c apt-get install1.25 MB
65RUN /bin/sh -c opam install13.01 MB
66RUN /bin/sh -c opam install2.48 MB

Command

ADD file:113ba5e7bc74d50e8d35449f8a62712359e2f00146e03eee822c28c8c6f59368 in /