network-monitor/.devcontainer/devcontainer.json

47 lines
1.4 KiB
JSON
Raw Normal View History

2023-05-22 23:13:07 +08:00
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/rust
{
"name": "Rust",
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
2024-03-29 18:24:58 +08:00
"image": "mcr.microsoft.com/devcontainers/rust:1-bullseye",
2023-05-22 23:13:07 +08:00
"features": {
"ghcr.io/devcontainers/features/git:1": {},
"ghcr.io/devcontainers/features/docker-in-docker:2": {}
},
"customizations": {
"vscode": {
"extensions": [
"mhutchie.git-graph",
"donjayamanne.githistory",
2024-03-29 18:24:58 +08:00
"eamodio.gitlens",
"rust-lang.rust-analyzer",
"Codeium.codeium"
2023-05-22 23:13:07 +08:00
]
}
}
// Use 'mounts' to make the cargo cache persistent in a Docker Volume.
// "mounts": [
// {
// "source": "devcontainer-cargo-cache-${devcontainerId}",
// "target": "/usr/local/cargo",
// "type": "volume"
// }
// ]
// Features to add to the dev container. More info: https://containers.dev/features.
// "features": {},
// Use 'forwardPorts' to make a list of ports inside the container available locally.
// "forwardPorts": [],
// Use 'postCreateCommand' to run commands after the container is created.
// "postCreateCommand": "rustc --version",
// Configure tool-specific properties.
// "customizations": {},
// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
// "remoteUser": "root"
}