Update devcontainer.json

This commit is contained in:
Pascal Vizeli 2019-08-20 17:49:21 +02:00 committed by GitHub
parent c5ca431894
commit 178d0d2099
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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