diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 2523cd7..087501a 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,18 +1,28 @@ { "name": "Python Sample", "dockerFile": "Dockerfile", - "appPort": 9000, - "extensions": [ - "ms-python.python" - ], - "settings": { + + // 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", - // 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" ] + + "extensions": [ + "ms-python.python" + ] }