From b97efb4b214f52b27ffdc009ed77df330922281a Mon Sep 17 00:00:00 2001 From: cuppajoeman Date: Tue, 15 Oct 2024 23:34:03 -0400 Subject: [PATCH] feat: remove default profile from devcontainer shells --- .devcontainer/devcontainer.json | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 6914608..cd5d5c2 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -31,8 +31,7 @@ "icon": "terminal", "overrideName": true } - }, - "terminal.integrated.defaultProfile.linux": "fast_html" + } } } },