Files
python/.devcontainer/devcontainer.json
2019-08-26 14:01:56 -07:00

29 lines
918 B
JSON

{
"name": "Python Sample",
"dockerFile": "Dockerfile",
// Specifies a list of ports that should be published from the container.
"appPort": [9000],
// Comment out the next line to run as root instead. Linux users,
// update Dockerfile with your user's UID/GID if not 1000.
"runArgs": ["-u", "vscode"],
// Use 'settings' to set *default* container specific settings.json values on container create.
// You can edit these settings after create using File > Preferences > Settings > Remote.
"settings": {
"terminal.integrated.shell.linux": "/bin/bash",
"python.pythonPath": "/usr/local/bin/python",
"python.linting.pylintEnabled": true,
"python.linting.pylintPath": "/usr/local/bin/pylint",
"python.linting.enabled": true
},
// Specifies a command to run after the container is created
"postCreateCommand": "sudo pip install -r requirements.txt",
"extensions": [
"ms-python.python"
]
}