Update terminal profiles

This commit is contained in:
Anthony Shaw
2021-06-30 15:53:58 +10:00
committed by GitHub
parent 89fdeff835
commit 80c33f2af0

View File

@@ -16,7 +16,12 @@
// Set *default* container specific settings.json values on container create. // Set *default* container specific settings.json values on container create.
"settings": { "settings": {
"terminal.integrated.shell.linux": "/bin/bash", "terminal.integrated.profiles.linux": {
"bash": {
"path": "/bin/bash"
}
},
"terminal.integrated.defaultProfile.linux": "bash",
"python.pythonPath": "/usr/local/bin/python", "python.pythonPath": "/usr/local/bin/python",
"python.languageServer": "Pylance", "python.languageServer": "Pylance",
"python.linting.enabled": true, "python.linting.enabled": true,