Add git editor / app port

This commit is contained in:
Pascal Vizeli 2019-07-02 10:39:02 +02:00 committed by GitHub
parent 23dd644f4a
commit 0c43c4b5e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 1 deletions

View File

@ -4,6 +4,10 @@
"context": "..",
"dockerFile": "Dockerfile",
"postCreateCommand": "pip3 install -e .",
"appPort": 8123,
"runArgs": [
"-e", "GIT_EDTIOR='code --wait'"
],
"extensions": [
"ms-python.python"
],
@ -12,4 +16,4 @@
"python.linting.pylintEnabled": true,
"python.linting.enabled": true
}
}
}