Merge branch 'develop' into feature/refactoring

This commit is contained in:
Jörn-Michael Miehe 2023-09-08 14:53:29 +00:00
commit 6ac19ee866

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": [