From 0c43c4b5e17a5f6532e2b229bd898a593fca8bc9 Mon Sep 17 00:00:00 2001 From: Pascal Vizeli <pvizeli@syshack.ch> Date: Tue, 2 Jul 2019 10:39:02 +0200 Subject: [PATCH] Add git editor / app port --- .devcontainer/devcontainer.json | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 4bc64937a62..9e7960a310c 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -4,6 +4,10 @@ "context": "..", "dockerFile": "Dockerfile", "postCreateCommand": "pip3 install -e .", + "appPort": 8123, + "runArgs": [ + "-e", "GIT_EDTIOR='code --wait'" + ], "extensions": [ "ms-python.python" ], @@ -12,4 +16,4 @@ "python.linting.pylintEnabled": true, "python.linting.enabled": true } -} \ No newline at end of file +} -- GitLab