diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index b59f5626..8bf7e467 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -9,7 +9,12 @@ // Set *default* container specific settings.json values on container create. "settings": { - "terminal.integrated.shell.linux": "/bin/bash", + "terminal.integrated.profiles.linux": { + "bash (login)": { + "path": "bash", + "args": ["-l"] + } + }, "python.pythonPath": "/usr/local/bin/python", "python.linting.enabled": true, "python.linting.pylintEnabled": true,