Files
rust/.devcontainer/devcontainer.json

29 lines
1018 B
JSON
Raw Normal View History

2019-05-01 13:00:29 -07:00
{
"name": "Rust",
"dockerFile": "Dockerfile",
2019-12-11 20:50:33 +00:00
"runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined" ],
2019-08-26 14:02:30 -07:00
// Use 'settings' to set *default* container specific settings.json values on container create.
// You can edit these settings after create using File > Preferences > Settings > Remote.
"settings": {
2019-12-11 20:50:33 +00:00
"terminal.integrated.shell.linux": "/bin/bash",
"lldb.executable": "/usr/bin/lldb"
2019-08-26 14:02:30 -07:00
},
2019-12-11 20:50:33 +00:00
// Use 'appPort' to create a container with published ports. If the port isn't working, be sure
// your server accepts connections from all interfaces (0.0.0.0 or '*'), not just localhost.
2019-08-26 14:02:30 -07:00
// "appPort": [],
// Uncomment the next line to run commands after the container is created.
2019-12-11 20:50:33 +00:00
// "postCreateCommand": "rustc --version",
// Comment out the next line to run as root
"remoteUser": "vscode",
2019-08-26 14:02:30 -07:00
2019-12-11 20:50:33 +00:00
// Add the IDs of extensions you want installed when the container is created in the array below.
2019-08-26 14:02:30 -07:00
"extensions": [
"rust-lang.rust",
"bungcip.better-toml",
"vadimcn.vscode-lldb"
]
2019-05-01 13:00:29 -07:00
}