Merge pull request #84 from klezm/devcontainers

Add minimal devcontainer
devcontainers-extra · Dec 14, 2024 · f386664 · f386664
2 parents bc46a4e + 6c6d9bd
commit f386664
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/.devcontainer/min/devcontainer.json b/.devcontainer/min/devcontainer.json
@@ -0,0 +1,23 @@
+{
+  "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",
+        "timonwong.shellcheck",
+        "ms-vscode-remote.remote-containers"
+      ]
+    }
+  },
+  "features": {
+    "ghcr.io/devcontainers/features/node:1.6.1": {},
+    "ghcr.io/devcontainers/features/docker-in-docker:2.12.0": {},
+    "ghcr.io/guiyomh/features/just:0": {},
+    "ghcr.io/devcontainers-extra/features/pre-commit:2": {}
+  },
+  "postCreateCommand": "/bin/bash -ex ./.devcontainer/setup.sh > postCreateCommand.log"
+}
diff --git a/.devcontainer/min/setup.sh b/.devcontainer/min/setup.sh
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+npm install -g @devcontainers/cli
+
+pre-commit install --install-hooks