use zsh terminal in api

This commit is contained in:
Jörn-Michael Miehe 2023-09-08 14:48:48 +00:00
parent d1158b1e10
commit 14896960c2

View file

@ -20,7 +20,8 @@
"vscode": { "vscode": {
// Set *default* container specific settings.json values on container create. // Set *default* container specific settings.json values on container create.
"settings": { "settings": {
"python.defaultInterpreterPath": "/usr/local/bin/python" "python.defaultInterpreterPath": "/usr/local/bin/python",
"terminal.integrated.defaultProfile.linux": "zsh"
}, },
// Add the IDs of extensions you want installed when the container is created. // Add the IDs of extensions you want installed when the container is created.
"extensions": [ "extensions": [