commit 59fd661ed3816890a6bd80052a9efdc82197cec2
Author: Filip Sufitchi <fsufitchi@gmail.com>
AuthorDate: Wed Feb 9 22:21:23 2022 -0500
Commit: Filip Sufitchi <fsufitchi@gmail.com>
CommitDate: Wed Feb 9 22:21:23 2022 -0500
Enrich default extensions
---
.devcontainer/devcontainer.json | 15 +++++++++++++--
1 file changed, 13 insertions(+), 2 deletions(-)
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index b0a38197..5c36973e 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -14,8 +14,19 @@
// Add the IDs of extensions you want installed when the container is created.
"extensions": [
- "ms-vscode.cpptools-extension-pack",
- "npxms.hide-gitignored",
+ "yzhang.markdown-all-in-one",
+ "bierner.markdown-preview-github-styles",
+ "dotjoshjohnson.xml",
+
+ "eamodio.gitlens",
+ "npxms.hide-gitignored", // Note: need to run its command manually
+
+ // Build tooling
+ "ms-vscode.cpptools",
+ "cschlosser.doxdocgen",
+ "austin.code-gnu-global",
+ "jeff-hykin.better-cpp-syntax", // Note: runs locally
+ "ms-vscode.cpptools-themes", // Note: runs locally
],
// Required to not bleed "root" permission files into the volume