rm dev container docker file

2022-11-11 21:05:17 +00:00
parent 45d89cda76
commit eec6c3b2ff
4 changed files with 40 additions and 36 deletions
--- a/.devcontainer/dev_shell/devcontainer-feature.json
+++ b/.devcontainer/dev_shell/devcontainer-feature.json
@@ -0,0 +1,9 @@
+{
+    "name": "DevShell",
+    "id": "dev_shell",
+    "version": "1.0.0",
+    "description": "A nix based dev shell",
+    "installsAfter": [
+        "ghcr.io/devcontainers/features/nix:1"
+    ]
+}