From d52476333e935a35825149fbdf353d9fc739a8d4 Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Thu, 17 Oct 2019 17:06:33 +0200 Subject: [PATCH] Update devcontainer.json --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index afb273331aa..5bfd37fab36 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -5,7 +5,7 @@ "dockerFile": "../Dockerfile.dev", "postCreateCommand": "mkdir -p config && pip3 install -e .", "appPort": 8123, - "runArgs": ["-e", "GIT_EDITOR=\"code --wait\""], + "runArgs": ["-e", "GIT_EDITOR=code --wait"], "extensions": [ "ms-python.python", "visualstudioexptteam.vscodeintellicode",