mirror of
https://github.com/extrawurst/gitui.git
synced 2024-11-27 00:14:52 +03:00
20 lines
490 B
JSON
20 lines
490 B
JSON
{
|
|
"name": "Rust",
|
|
"build": {
|
|
"dockerfile": "Dockerfile"
|
|
},
|
|
// Set *default* container specific settings.json values on container create.
|
|
"settings": {
|
|
"terminal.integrated.shell.linux": "/bin/bash",
|
|
// VS Code don't watch files under ./target
|
|
"files.watcherExclude": {
|
|
"**/target/**": true
|
|
}
|
|
},
|
|
// Add the IDs of extensions you want installed when the container is created.
|
|
"extensions": [
|
|
"matklad.rust-analyzer",
|
|
"bungcip.better-toml",
|
|
"serayuzgur.crates",
|
|
]
|
|
} |