From 6ccc1f50b26035d2df6c9af0361f7d454fb1132b Mon Sep 17 00:00:00 2001 From: Brent O'Connor Date: Mon, 3 Apr 2023 16:59:07 -0500 Subject: [PATCH] Set bash as the default terminal --- .devcontainer/devcontainer.json | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index f583ab1e..45e4f1a2 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -28,7 +28,10 @@ "ms-python.python", "ms-python.black-formatter", "ms-python.isort" - ] + ], + "settings": { + "terminal.integrated.defaultProfile.linux": "bash" + } } }