Merge pull request #71 from klezm/devcontainers

Speeds up container build time
devcontainers-extra · Nov 30, 2024 · 693ac74 · 693ac74
2 parents 60af234 + 1649e94
commit 693ac74
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,22 +1,22 @@
 {
-  "image": "mcr.microsoft.com/devcontainers/base:ubuntu-22.04",
+  "image": "mcr.microsoft.com/devcontainers/python:3.11",
   "customizations": {
     "vscode": {
       "extensions": [
         "mads-hartmann.bash-ide-vscode",
         "ms-python.python",
         "ms-python.vscode-pylance",
         "DavidAnson.vscode-markdownlint",
-        "nefrob.vscode-just-syntax"
+        "nefrob.vscode-just-syntax",
+        "timonwong.shellcheck",
+        "ms-vscode-remote.remote-containers"
       ]
     }
   },
   "features": {
-    "ghcr.io/devcontainers/features/python:1.6.4": {},
-    "ghcr.io/devcontainers/features/node:1.6.0": {},
+    "ghcr.io/devcontainers/features/node:1.6.1": {},
     "ghcr.io/devcontainers/features/github-cli:1.0.13": {},
-    "ghcr.io/devcontainers/features/docker-in-docker:2.11.0": {},
-    "ghcr.io/devcontainers/features/common-utils:2.5.1": {},
+    "ghcr.io/devcontainers/features/docker-in-docker:2.12.0": {},
     "ghcr.io/lukewiwa/features/shellcheck:0.2.3": {},
     "ghcr.io/guiyomh/features/just:0": {},
     "ghcr.io/devcontainers-extra/features/pre-commit:2": {},