make devconatiner buildable from commandline

dodona-edu · Oct 30, 2024 · 3966213 · 3966213
1 parent cf2d028
commit 3966213
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,12 +1,9 @@
-// For format details, see https://aka.ms/devcontainer.json. For config options, see the
 {
 	"name": "dodona-tested",
-
-//  image: "dodona/dodona-tested:latest",
-  build: {
-    dockerfile: "dodona-tested.dockerfile",
-    context: "."
+  "build": {
+    "dockerfile": "dodona-tested.dockerfile",
+    "context": "."
   },
   // install dev dependencies
-  postCreateCommand: "pip install poetry --user; python -m poetry install --with dev"
+  "postCreateCommand": "pip install poetry --user; python -m poetry install --with dev"
 }