| name | devcontainer-maintenance |
| description | Maintain or change the devcontainer environment for this repo. Use when editing .devcontainer files, changing toolchains, or requesting environment rebuilds. |
Devcontainer Maintenance
Source of truth
.devcontainer/Dockerfile.devcontainer/devcontainer.jsonscripts/devcontainer-post-create.shmsc-viterbo.code-workspace
Policy
- Environment changes must be approved by the project owner.
- Make changes in the devcontainer definition files (no ad-hoc local installs).
- Rebuild required after changes.
Environment notes
- Single canonical devcontainer on Ubuntu 24.04.
- Shared host binds and caches persist across worktrees.
- Worktrees:
/workspaces/worktrees/ - Shared cache:
/workspaces/worktrees/shared/(Rusttarget/).