{
  "name": "dev",
  "context": "..",
  "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/bin/python3",
    "python.linting.enabled": true
    //"python.linting.pylintEnabled": true,
    //"python.linting.pylintPath": "/usr/local/share/pip-global/bin/pylint"
  },

  // 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": [],

  // Add the IDs of extensions you want installed when the container is created in the array below.
  "extensions": [
    "ms-python.python",
    "gregorbiswanger.package-watcher",
    "hoffs.vscode-versionlens",
    "esbenp.prettier-vscode"
  ]
}