devcontainer-maintenance
Maintain or change the devcontainer environment for this repo. Use when editing .devcontainer files, changing toolchains, or requesting environment rebuilds.
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
Devcontainer Maintenance
Source of truth
-
.devcontainer/Dockerfile -
.devcontainer/devcontainer.json -
scripts/devcontainer-post-create.sh -
msc-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/).
Exemples
Consultez les exemples du dépôt source.
Voir la source ↗Historique source
- Date d’indexation
- 2026-01-20
- Mise à jour de l’index
- 2026-01-26
- Branch
- main
Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!