From 3a260a8fd988ed8255a6703569126ff959832a67 Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Tue, 14 Jul 2020 10:00:27 +0000 Subject: [PATCH] Fix terminal --- .devcontainer/devcontainer.json | 1 + 1 file changed, 1 insertion(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index d4288dde6..7b3b69016 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -13,6 +13,7 @@ ], "settings": { "python.pythonPath": "/usr/local/bin/python", + "terminal.integrated.shell.linux": "/bin/bash", "python.linting.pylintEnabled": true, "python.linting.enabled": true, "python.formatting.provider": "black",