fredblgr/framac-novnc:2021

Multi-platform

Manifest digest

sha256:2b1c3d046232ebcb205500a2e55d09057ea5433bd9dba33e6de725becf4ce2e4

OS/ARCH

Compressed size

1.89 GB

Last pushed

over 4 years by fredblgr

Type

Image

Manifest digest

sha256:2b1c3d046232ebcb205500a2e55d09057ea5433bd9dba33e6de725becf4ce2e4

Image Layers

Image Layers

1ADD file ... in / 27.22 MB

2/bin/sh -c set -xe &&851 B

3/bin/sh -c [ -z "$(apt-get0 B

4/bin/sh -c mkdir -p /run/systemd187 B

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

6ENV DEBIAN_FRONTEND=noninteractive0 B

7RUN /bin/sh -c apt-get update174.61 MB

8RUN /bin/sh -c apt-get update16.87 MB

9RUN /bin/sh -c apt-get update29.32 MB

10RUN /bin/sh -c apt-get update42.6 MB

11ARG TINI_VERSION=v0.19.00 B

12RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c355.55 KB

13RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c148.41 MB

14COPY killsession/ /tmp/killsession # buildkit12.72 KB

15RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c15.55 KB

16COPY rootfs/usr/local/lib/web/backend/requirements.txt /tmp/ # buildkit372 B

17RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c22.61 MB

18RUN |1 TINI_VERSION=v0.19.0 /bin/sh -c354 B

19LABEL [email protected]0 B

20COPY /src/web/dist/ /usr/local/lib/web/frontend/ # buildkit1.47 MB

21COPY rootfs / # buildkit11.79 MB

22RUN /bin/sh -c ln -sf366 B

23EXPOSE map[80/tcp:{}]0 B

24WORKDIR /root32 B

25ENV HOME=/home/ubuntu SHELL=/bin/bash0 B

26HEALTHCHECK &{["CMD-SHELL" "curl --fail http://127.0.0.1:6079/api/health"]0 B

27ENTRYPOINT ["/startup.sh"]0 B

28ARG arch0 B

29ARG DEBIAN_FRONTEND=noninteractive0 B

30ENV TZ=Europe/Paris0 B

31ENV LIBGL_ALWAYS_INDIRECT=10 B

32RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh22.51 MB

33RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh157.54 MB

34RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh43.41 MB

35RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh344.11 MB

36RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh861.09 KB

37COPY altergo/alt-ergo_240_amd64 /usr/local/bin/alt-ergo # buildkit2.69 MB

38RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh2.69 MB

39COPY z3/z3_486_amd64 /usr/local/bin/z3 # buildkit10.53 MB

40RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh10.53 MB

41COPY eprover/eprover_20_amd64 /usr/local/bin/eprover # buildkit595.19 KB

42RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh595.19 KB

43RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh51.01 KB

44RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh323.05 MB

45COPY cvc4/cvc4_17_amd64 /usr/local/bin/cvc4 # buildkit53.65 KB

46COPY cvc4/libcvc4parser.so.6_amd64 /usr/local/lib/ # buildkit609.51 KB

47COPY cvc4/libcvc4.so.6_amd64 /usr/local/lib/ # buildkit7.65 MB

48RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh53.65 KB

49RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh6.01 MB

50RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh5.53 MB

51RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh5.63 MB

52RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh6.12 MB

53RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh2.24 KB

54RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh3.77 KB

55RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh340.11 MB

56RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh181 B

57RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh380 B

58RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh28.16 MB

59RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh20.73 MB

60RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh123.44 MB

61RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh556.38 KB

62RUN |2 arch=amd64 DEBIAN_FRONTEND=noninteractive /bin/sh382 B

Command

ADD file:5c44a80f547b7d68b550b0e64aef898b361666857abf9a5c8f3f8d0567b8e8e4 in /