marius

0 Followers · 0 Following

• Joined on 2025-06-18

Repositories Projects Packages Public Activity Starred Repositories

toolchains/rpipico-toolchain-devcontainer (sha256:6a225f167c14847de0fa68478ad6d74a361c5b753ead5b11261fe160c0880d78)

Published 2025-10-26 15:30:06 +01:00 by marius

Installation

Pull the image from the command line:

docker pull gitea.mwensing.de/marius/toolchains/rpipico-toolchain-devcontainer@sha256:6a225f167c14847de0fa68478ad6d74a361c5b753ead5b11261fe160c0880d78

Digest

sha256:6a225f167c14847de0fa68478ad6d74a361c5b753ead5b11261fe160c0880d78

For more information on the Container registry, see the documentation.

Image Layers

ADD alpine-minirootfs-3.22.2-x86_64.tar.gz / # buildkit

CMD ["/bin/sh"]

COPY meta.env /usr/local/etc/vscode-dev-containers/ # buildkit

LABEL version=1.0.2

LABEL dev.containers.id=base-alpine

LABEL dev.containers.variant=3.22

LABEL dev.containers.release=v0.4.19

LABEL dev.containers.source=https://github.com/devcontainers/images

LABEL dev.containers.timestamp=Thu, 16 Oct 2025 11:00:49 GMT

USER root

RUN /bin/sh -c mkdir -p /tmp/dev-container-features # buildkit

COPY /tmp/build-features/ /tmp/dev-container-features # buildkit

RUN /bin/sh -c echo "_CONTAINER_USER_HOME=$( (command -v getent >/dev/null 2>&1 && getent passwd 'root' || grep -E '^root|^[^:]*:[^:]*:root:' /etc/passwd || true) | cut -d: -f6)" >> /tmp/dev-container-features/devcontainer-features.builtin.env && echo "_REMOTE_USER_HOME=$( (command -v getent >/dev/null 2>&1 && getent passwd 'vscode' || grep -E '^vscode|^[^:]*:[^:]*:vscode:' /etc/passwd || true) | cut -d: -f6)" >> /tmp/dev-container-features/devcontainer-features.builtin.env # buildkit

RUN /bin/sh -c cp -ar /tmp/build-features-src/git_0 /tmp/dev-container-features && chmod -R 0755 /tmp/dev-container-features/git_0 && cd /tmp/dev-container-features/git_0 && chmod +x ./devcontainer-features-install.sh && ./devcontainer-features-install.sh && rm -rf /tmp/dev-container-features/git_0 # buildkit

RUN /bin/sh -c cp -ar /tmp/build-features-src/common-utils_1 /tmp/dev-container-features && chmod -R 0755 /tmp/dev-container-features/common-utils_1 && cd /tmp/dev-container-features/common-utils_1 && chmod +x ./devcontainer-features-install.sh && ./devcontainer-features-install.sh && rm -rf /tmp/dev-container-features/common-utils_1 # buildkit

ARG _DEV_CONTAINERS_IMAGE_USER=root

USER root

LABEL devcontainer.metadata=[ {"id":"./local-features/git"}, {"id":"ghcr.io/devcontainers/features/common-utils:2"}, {"remoteUser":"vscode"} ]

ARG PICO_SDK_VERSION=2.2.0

RUN |1 PICO_SDK_VERSION=2.2.0 /bin/sh -c apk update && apk add --no-cache git cmake make gcc-arm-none-eabi g++-arm-none-eabi newlib-arm-none-eabi python3 build-base linux-headers # buildkit

ENV PICO_SDK_PATH=/opt/pico_sdk

WORKDIR /opt/pico_sdk

RUN |1 PICO_SDK_VERSION=2.2.0 /bin/sh -c git clone -b ${PICO_SDK_VERSION} https://github.com/raspberrypi/pico-sdk.git . && git submodule update --init --recursive && find . -name '.git' -type d -exec rm -rf {} + # buildkit

Labels

Key	Value
dev.containers.id	base-alpine
dev.containers.release	v0.4.19
dev.containers.source	https://github.com/devcontainers/images
dev.containers.timestamp	Thu, 16 Oct 2025 11:00:49 GMT
dev.containers.variant	3.22
devcontainer.metadata	[ {"id":"./local-features/git"}, {"id":"ghcr.io/devcontainers/features/common-utils:2"}, {"remoteUser":"vscode"} ]
version	1.0.2

Details

Container

2025-10-26 15:30:06 +01:00

0

OCI / Docker

linux/amd64

478 MiB

Versions (1) View all

latest 2025-10-26