Files
python/.devcontainer/devcontainer.json

31 lines
1.0 KiB
JSON
Raw Normal View History

2019-04-16 18:19:04 -07:00
{
2019-12-11 19:00:06 +00:00
"name": "Python 3",
"context": "..",
2019-04-16 18:19:04 -07:00
"dockerFile": "Dockerfile",
// 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",
2019-12-11 19:00:06 +00:00
"python.linting.enabled": true,
"python.linting.pylintEnabled": true,
2020-01-29 15:26:30 +00:00
"python.linting.pylintPath": "/usr/local/share/pip-global/bin/pylint"
},
2019-12-11 19:00:06 +00:00
// Use 'appPort' to create a container with published ports. If the port isn't working, be sure
// your server accepts connections from all interfaces (0.0.0.0 or '*'), not just localhost.
"appPort": [ 9000 ],
// Install flask and any other dependencies
2020-01-18 00:27:28 +00:00
"postCreateCommand": "pip install -r requirements.txt",
2019-12-11 19:00:06 +00:00
// Comment out next line to run as root
"remoteUser": "vscode",
// Add the IDs of extensions you want installed when the container is created in the array below.
"extensions": [
"ms-python.python"
]
}