caretdev/instruqt-code-server:latest

Multi-platform

Index digest

sha256:8b859b3ebfdebfc56ef4a19da9c9c79d0312390425a8a159d30c86bb56b7bebf

OS/ARCH

Compressed size

1.32 GB

Last pushed

2 days by daimor

Type

Image

Manifest digest

sha256:a8c510e0378f0281cd02035a134c1033631e46bbfaaaa7fd00d768d301fc22d4

Image Layers

1# debian.sh --arch 'arm64' out/47.4 MB

2RUN /bin/sh -c apt-get update85.65 MB

3RUN /bin/sh -c sed -i848.04 KB

4ENV LANG=en_US.UTF-80 B

5RUN /bin/sh -c if grep3.31 KB

6RUN /bin/sh -c ARCH="$(dpkg --print-architecture)"1.96 MB

7COPY ci/release-image/entrypoint.sh /usr/bin/entrypoint.sh # buildkit708 B

8RUN /bin/sh -c dpkg -i219.78 MB

9ENV ENTRYPOINTD=/entrypoint.d0 B

10EXPOSE map[8080/tcp:{}]0 B

11USER 10000 B

12ENV USER=coder0 B

13WORKDIR /home/coder32 B

14ENTRYPOINT ["/usr/bin/entrypoint.sh" "--bind-addr" "0.0.0.0:8080" "."]0 B

15USER root0 B

16RUN /bin/sh -c apt-get update430.68 MB

17RUN /bin/sh -c cp /tmp/dist/iris-import730 B

18USER coder0 B

19RUN /bin/sh -c mkdir /home/coder/.ssh/54.42 MB

20RUN /bin/sh -c mkdir -p511.62 MB

21WORKDIR /opt/intersystems32 B

22ENTRYPOINT ["/usr/bin/entrypoint.sh" "--bind-addr" "0.0.0.0:8080" "."0 B

23USER root0 B

Command

# debian.sh --arch 'arm64' out/ 'trixie' '@1787529600'