Sign inSign up

baredevcontainer/lean:4.2.4-trixie-20261004

Multi-platform
Index digest

sha256:2d1bad9ed9cd64f1b414944bc9ff6e21cec64861c31233be05f7cf7b3a5653fe

OS/ARCH

Compressed size

242.29 MB

Last pushed

11 days by baredevcontainer

Type

Image

Manifest digest

sha256:fb3d5e9a3f20dc96b5a6627a7d9ce748e03e25dab5fab28611719ffecda03e92

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/47.09 MB
2ARG USERNAME=dev0 B
3ARG USER_UID=10000 B
4ARG USER_GID=10000 B
5ENV LANG=en_US.UTF-80 B
6ENV LANGUAGE=en_US:en0 B
7ENV LC_ALL=en_US.UTF-80 B
8LABEL devcontainer.metadata=[{ "remoteUser":0 B
9RUN |3 USERNAME=dev USER_UID=1000 USER_GID=1000190.29 MB
10COPY --chown=dev:dev assets/.bashrc /home/dev/.bashrc #818 B
11USER dev0 B
12WORKDIR /workspaces32 B
13RUN |3 USERNAME=dev USER_UID=1000 USER_GID=1000181 B
14ARG ELAN_VERSION=4.2.40 B
15ARG TARGETARCH=amd640 B
16SHELL [/bin/bash -o pipefail -c]0 B
17LABEL devcontainer.metadata=[{ "remoteUser":0 B
18RUN |2 ELAN_VERSION=4.2.4 TARGETARCH=amd64 /bin/bash4.9 MB

Command

# debian.sh --arch 'amd64' out/ 'trixie' '@1789689600'