From 2d8768c214ddadf062bb43f9b67fe65e8ea7ae51 Mon Sep 17 00:00:00 2001 From: mullerj Date: Tue, 4 Jul 2023 14:22:24 -0400 Subject: [PATCH] Dev Container extensions (#23) * Added extensions * Cut down on extensions * Added extension * Removed pull requests extension * Added workspace recommendation * Added powershell feature * Fixed powershell version * Updated powershell version and added extension * Updated to latest powershell --- .devcontainer/devcontainer.json | 22 +++++++++++++++++++++- .vscode/extensions.json | 5 +++++ 2 files changed, 26 insertions(+), 1 deletion(-) create mode 100644 .vscode/extensions.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 633f692..d91a01d 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -14,6 +14,26 @@ }, "ghcr.io/devcontainers/features/docker-in-docker:2": { "version": "20.10" + }, + "ghcr.io/devcontainers/features/powershell:1": { + "version": "7.3" } - } +}, +"customizations": { + "vscode": { + "extensions": [ + "DavidAnson.vscode-markdownlint", + "eamodio.gitlens", + "github.vscode-github-actions", + "GitHub.codespaces", + "jebbs.plantuml", + "ms-python.isort", + "ms-vscode-remote.remote-containers", + "ms-vscode.cpptools-themes", + "ms-vscode.PowerShell", + "tomoki1207.pdf", + "yzhang.markdown-all-in-one" + ] + } +} } diff --git a/.vscode/extensions.json b/.vscode/extensions.json new file mode 100644 index 0000000..50bbda4 --- /dev/null +++ b/.vscode/extensions.json @@ -0,0 +1,5 @@ +{ + "recommendations": [ + "github.vscode-pull-request-github" + ] +} \ No newline at end of file