devcontainer settings

This commit is contained in:
Jörn-Michael Miehe 2023-09-03 19:31:32 +00:00
parent 5a07ca5dfd
commit 5d8ca2fd2e

View file

@ -11,17 +11,18 @@
"VARIANT": "18-bullseye"
}
},
// Set *default* container specific settings.json values on container create.
"settings": {
"terminal.integrated.defaultProfile.linux": "zsh"
},
// Configure tool-specific properties.
"customizations": {
// Configure properties specific to VS Code.
"vscode": {
// Set *default* container specific settings.json values on container create.
"settings": {
"terminal.integrated.defaultProfile.linux": "zsh"
},
// Add the IDs of extensions you want installed when the container is created.
"extensions": [
"dbaeumer.vscode-eslint",
"mhutchie.git-graph",
"octref.vetur",
"Syler.sass-indented"
]