From 6de6c10bc38901216080847df1e3d3cde1cd35aa Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Tue, 2 Jul 2019 14:31:06 +0200 Subject: [PATCH] Update devcontainer.json --- .devcontainer/devcontainer.json | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 2c2262f0a7b..271915353e0 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -9,7 +9,9 @@ "-e", "GIT_EDTIOR='code --wait'" ], "extensions": [ - "ms-python.python" + "ms-python.python", + "ms-azure-devops.azure-pipelines", + "redhat.vscode-yaml" ], "settings": { "python.pythonPath": "/usr/local/bin/python",