mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
45 lines
1.3 KiB
JSON
45 lines
1.3 KiB
JSON
// 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
|
|
"image": "mcr.microsoft.com/devcontainers/rust:1-1-bullseye",
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"ms-dotnettools.csharp",
|
|
"ms-dotnettools.csdevkit"
|
|
]
|
|
}
|
|
},
|
|
"features": {
|
|
"ghcr.io/devcontainers/features/dotnet:2": {
|
|
"version": "8.0"
|
|
},
|
|
"ghcr.io/devcontainers/features/python:1": {}
|
|
}
|
|
// 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"
|
|
}
|