devcontainer: Switch to Dockerfile to easen multi-platform dev

acidanthera · Mar 27, 2023 · e75b3d1 · e75b3d1
1 parent fc423d6
commit e75b3d1
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 20 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,7 +1,13 @@
 {
   "name": "oc",
-  "dockerComposeFile": "../compose-dev.yaml",
-  "service": "dev-edk2-docs",
-  "workspaceFolder": "/com.docker.devenvironments.code",
-  "shutdownAction": "stopCompose"
+  "build": {
+    "dockerfile": "../Dockerfiles/oc-dev/Dockerfile",
+    "context": "../Dockerfiles/oc-dev/",
+    "target": "oc-dev-docs",
+    "args": {
+      "OC_DEV_DOCS_BASE": "oc-dev-edk2"
+    }
+  },
+  "workspaceMount": "source=${localWorkspaceFolder},target=/com.docker.devenvironments.code,type=bind,consistency=cached",
+  "workspaceFolder": "/com.docker.devenvironments.code"
 }
diff --git a/compose-dev.yaml b/compose-dev.yaml