create devcontainer

pmret · Feb 18, 2024 · 86aa92e · 86aa92e
1 parent c210d5f
commit 86aa92e
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -0,0 +1,5 @@
+FROM mcr.microsoft.com/devcontainers/rust:ubuntu
+RUN apt-get update
+RUN ./install_deps.sh --extra
+RUN ./install_compilers.sh
+RUN cargo install pigment64
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,7 @@
+{
+    "build": {
+        // Path is relative to the devcontainer.json file.
+        "dockerfile": "Dockerfile"
+    },
+    "postCreateCommand": "./configure"
+}