Advertisement
Guest User

Container Config

a guest
May 4th, 2023
65
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
JSON 1.17 KB | None | 0 0
  1. // For format details, see https://aka.ms/devcontainer.json. For config options, see the
  2. // README at: https://github.com/devcontainers/templates/tree/main/src/rust
  3. {
  4.     "name": "Rust",
  5.     // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
  6.     "image": "mcr.microsoft.com/devcontainers/rust:0-1-bullseye",
  7.     "features": {
  8.         "ghcr.io/devcontainers/features/rust:1": {}
  9.     }
  10.  
  11.     // Use 'mounts' to make the cargo cache persistent in a Docker Volume.
  12.     // "mounts": [
  13.     //  {
  14.     //      "source": "devcontainer-cargo-cache-${devcontainerId}",
  15.     //      "target": "/usr/local/cargo",
  16.     //      "type": "volume"
  17.     //  }
  18.     // ]
  19.  
  20.     // Features to add to the dev container. More info: https://containers.dev/features.
  21.     // "features": {},
  22.  
  23.     // Use 'forwardPorts' to make a list of ports inside the container available locally.
  24.     // "forwardPorts": [],
  25.  
  26.     // Use 'postCreateCommand' to run commands after the container is created.
  27.     // "postCreateCommand": "rustc --version",
  28.  
  29.     // Configure tool-specific properties.
  30.     // "customizations": {},
  31.  
  32.     // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
  33.     // "remoteUser": "root"
  34. }
  35.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement