From 023a50d26bc755c12c87bb1b485f8b9c8f01c629 Mon Sep 17 00:00:00 2001 From: "Luke K (pr-0f3t)" <2609441+lc0rp@users.noreply.github.com> Date: Sat, 20 May 2023 16:51:01 -0400 Subject: [PATCH] Adding devcontainer extensions (#4181) Co-authored-by: Nicholas Tindle --- .devcontainer/devcontainer.json | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 1be773cf9..08e74b403 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -29,7 +29,17 @@ "python.defaultInterpreterPath": "/usr/local/bin/python", "python.testing.pytestEnabled": true, "python.testing.unittestEnabled": false - } + }, + "extensions": [ + "ms-python.python", + "VisualStudioExptTeam.vscodeintellicode", + "ms-python.vscode-pylance", + "ms-python.black-formatter", + "ms-python.isort", + "GitHub.vscode-pull-request-github", + "GitHub.copilot", + "github.vscode-github-actions" + ] } }, // Use 'forwardPorts' to make a list of ports inside the container available locally.