Update devcontainer.json

This commit is contained in:
Pascal Vizeli 2019-07-02 14:31:06 +02:00 committed by GitHub
parent 6c25c9760a
commit 6de6c10bc3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,7 +9,9 @@
"-e", "GIT_EDTIOR='code --wait'"
],
"extensions": [
"ms-python.python"
"ms-python.python",
"ms-azure-devops.azure-pipelines",
"redhat.vscode-yaml"
],
"settings": {
"python.pythonPath": "/usr/local/bin/python",