Sign inSign up

ls1tum/artemis-ocaml-template:pr-7

Multi-platform
Index digest

sha256:9c886e29ae8cfff05b79dc2a7a5d6ddca542e813d9747539647e3d6728836e40

OS/ARCH

Compressed size

688.89 MB

Last pushed

9 months by ls1tumadmin

Type

Image

Manifest digest

sha256:79ea1db858d2e2adf85ad0592394d11f64e08031466e132490ce9df826a1fa72

Image Layers

Image Layers

1ARG RELEASE0 B
2ARG LAUNCHPAD_BUILD_ARCH0 B
3LABEL org.opencontainers.image.ref.name=ubuntu0 B
4LABEL org.opencontainers.image.version=24.040 B
5ADD file ... in / 0 B
6CMD ["/bin/bash"]0 B
7RUN /bin/sh -c ln -fs0 B
8COPY <<EOF /etc/apt/apt.conf.d/mirror-retry # buildkit0 B
9RUN /bin/sh -c apt-get -y0 B
10RUN /bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get0 B
11RUN /bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get0 B
12COPY /usr/local/bin/opam-2.0 /usr/bin/opam-2.0 # buildkit0 B
13RUN /bin/sh -c ln /usr/bin/opam-2.00 B
14COPY /usr/local/bin/opam-2.1 /usr/bin/opam-2.1 # buildkit0 B
15COPY /usr/local/bin/opam-2.2 /usr/bin/opam-2.2 # buildkit0 B
16COPY /usr/local/bin/opam-2.3 /usr/bin/opam-2.3 # buildkit0 B
17COPY /usr/local/bin/opam-2.4 /usr/bin/opam-2.4 # buildkit0 B
18COPY /usr/local/bin/opam-2.5 /usr/bin/opam-2.5 # buildkit0 B
19COPY /usr/local/bin/opam-master /usr/bin/opam-dev # buildkit0 B
20RUN /bin/sh -c echo 'debconf0 B
21COPY <<EOF /etc/sudoers.d/opam # buildkit0 B
22RUN /bin/sh -c chmod 4400 B
23RUN /bin/sh -c chown root:root0 B
24RUN /bin/sh -c if getent0 B
25RUN /bin/sh -c adduser --uid0 B
26RUN /bin/sh -c passwd -l0 B
27RUN /bin/sh -c chown -R0 B
28USER opam0 B
29ENV HOME=/home/opam0 B
30WORKDIR /home/opam0 B
31RUN /bin/sh -c mkdir .ssh0 B
32RUN /bin/sh -c chmod 7000 B
33COPY --chown=opam <<EOF /home/opam/.opamrc-nosandbox #0 B
34COPY --chown=opam <<EOF /home/opam/opam-sandbox-disable #0 B
35RUN /bin/sh -c chmod a+x0 B
36RUN /bin/sh -c sudo mv0 B
37COPY --chown=opam <<EOF /home/opam/.opamrc-sandbox #0 B
38COPY --chown=opam <<EOF /home/opam/opam-sandbox-enable #0 B
39RUN /bin/sh -c chmod a+x0 B
40RUN /bin/sh -c sudo mv0 B
41RUN /bin/sh -c git config0 B
42RUN /bin/sh -c git config0 B
43COPY --chown=opam:opam . /home/opam/opam-repository #0 B
44RUN /bin/sh -c opam-sandbox-disable #0 B
45RUN /bin/sh -c opam init0 B
46RUN /bin/sh -c echo 'archive-mirrors:0 B
47RUN /bin/sh -c rm -rf0 B
48COPY Dockerfile /Dockerfile.opam # buildkit0 B
490 B
50ENV OPAMYES=1 OPAMCONFIRMLEVEL=unsafe-yes OPAMERRLOGLEN=0 OPAMPRECISETRACKING=10 B
51RUN /bin/sh -c opam switch0 B
52RUN /bin/sh -c opam pin0 B
53RUN /bin/sh -c opam install0 B
54ENTRYPOINT ["opam" "exec" "--"]0 B
55CMD ["/bin/sh" "-c" "bash"]0 B
56COPY Dockerfile /Dockerfile.ocaml # buildkit0 B
57650.47 MB
58USER root0 B
59RUN /bin/sh -c apt-get update16.26 MB
60RUN /bin/sh -c apt-get install389.33 KB
61RUN /bin/sh -c apt-get install781.66 KB
62RUN /bin/sh -c opam install17.14 MB
63RUN /bin/sh -c opam install3.88 MB

Command

 ARG RELEASE