Add a extensions.json file to .vscode (#3068)
authorDavid Anthoff <anthoff@berkeley.edu>
Thu, 19 Feb 2026 12:18:25 +0000 (04:18 -0800)
committerGitHub <noreply@github.com>
Thu, 19 Feb 2026 12:18:25 +0000 (13:18 +0100)
* Add a extensions.json file to .vscode

* Update .vscode/extensions.json

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
* Add another extension to the VS Code recommended set

* Remove Python env extension from recommended extensions

* Adjust whitespacing

---------

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
.vscode/extensions.json [new file with mode: 0644]

diff --git a/.vscode/extensions.json b/.vscode/extensions.json
new file mode 100644 (file)
index 0000000..1e79176
--- /dev/null
@@ -0,0 +1,10 @@
+{
+  "recommendations": [
+    "ms-python.mypy-type-checker",
+    "ms-python.python",
+    "ms-python.debugpy",
+    "ms-python.vscode-pylance",
+    "charliermarsh.ruff",
+    "esbenp.prettier-vscode"
+  ]
+}