caretdev/instruqt-code-server:latest

Multi-platform

Index digest

sha256:22841b910616cdbe6f96afdbd4c3ff9855bfbb10ecc5d8de26029274c8ea5258

OS/ARCH

Compressed size

1.32 GB

Last pushed

1 day by daimor

Type

Image

Manifest digest

sha256:e188774be3b055da68e5fe57c57536fe06cd01ce36fdefb8d0c9c792aaf195fd

Image Layers

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

2RUN /bin/sh -c apt-get update81.95 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 # buildkit709 B

8RUN /bin/sh -c dpkg -i230.88 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 update416.37 MB

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

18USER coder0 B

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

20RUN /bin/sh -c mkdir -p518.91 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' '@1791158400'