From a0330e1f5996b2187df6d195f669850be6efd494 Mon Sep 17 00:00:00 2001 From: emisargent <55098699+emisargent@users.noreply.github.com> Date: Thu, 16 Mar 2023 17:20:05 +0000 Subject: [PATCH] Disable terminal relaunch on extension load --- .devcontainer/devcontainer.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 8570e260..de892755 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -9,7 +9,8 @@ "python.terminal.launchArgs": [ "-X", "dev" - ] + ], + "terminal.integrated.environmentChangesRelaunch": false } } },