Update devcontainer.json

This commit is contained in:
Pascal Vizeli 2019-08-12 11:15:39 +02:00 committed by GitHub
parent b38c40fb98
commit 76f2e6015f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,7 +6,7 @@
"postCreateCommand": "pip3 install -e .", "postCreateCommand": "pip3 install -e .",
"appPort": 8123, "appPort": 8123,
"runArgs": [ "runArgs": [
"-e", "GIT_EDTIOR='code --wait'" "-e", "GIT_EDITOR='code --wait'"
], ],
"extensions": [ "extensions": [
"ms-python.python", "ms-python.python",