shield_lock
JinDaGe
← Back to skills
extension
Category: Development & EngineeringNo API key required

devcontainer-maintenance

Maintain or change the devcontainer environment for this repo. Use when editing .devcontainer files, changing toolchains, or requesting environment rebuilds.

personAuthor: jakexiaohubgithub
open_in_newRepositorydownloadDownload package

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/ (Rust target/).