Skip to content

Dev Image: Add devcontainer config as LABEL and make default command available via script - #82

Merged
RaphvK merged 4 commits into
mainfrom
dev-setup
Jun 11, 2026
Merged

Dev Image: Add devcontainer config as LABEL and make default command available via script#82
RaphvK merged 4 commits into
mainfrom
dev-setup

Conversation

@RaphvK

@RaphvK RaphvK commented Jun 8, 2026

Copy link
Copy Markdown
Member

Sets LABEL devcontainer.metadata in dev images built by docker-ros that are also effective when attaching VS Code to a running container, e.g. started in a compose setup. Note that not all devcontainer configuration options are supported, e.g. setting the workspaceFolder. Closes #80.

Make the default command (configured via docker-ros CI variable) available in dev images via DEFAULT_COMMAND environment variable and via run_default_command script. This is only useful if the configured default command is actually used also in compositions and not overridden in the docker compose file. Hence, we should also set launch arguments to environment variables (with fallbacks to default values) in the configured default command. Closes #81.

@RaphvK
RaphvK requested a review from lreiher June 8, 2026 14:50
@RaphvK RaphvK self-assigned this Jun 8, 2026
lreiher
lreiher previously approved these changes Jun 8, 2026
Comment thread docker/Dockerfile
Comment thread docker/Dockerfile
Comment thread docker/Dockerfile
Comment thread docker/Dockerfile
Comment thread docker/Dockerfile Outdated
@lreiher

lreiher commented Jun 9, 2026

Copy link
Copy Markdown
Member

Feel free to merge once the final thread is resolved. :)

Co-authored-by: Lennart Reiher <lennart.reiher@ika.rwth-aachen.de>
@RaphvK
RaphvK enabled auto-merge (squash) June 11, 2026 06:47
@RaphvK
RaphvK merged commit 0d0e28e into main Jun 11, 2026
3 checks passed
@RaphvK
RaphvK deleted the dev-setup branch June 11, 2026 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make default command available in dev image Store devcontainer config in docker label

2 participants