add docker file dev

eunomia-bpf · Mar 24, 2023 · 13522f9 · 13522f9
1 parent 393a9f4
commit 13522f9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,3 +1,6 @@
 {
-	"build": { "dockerfile": "Dockerfile" },
+	"build": {
+		"context": "..",
+		"dockerfile": "../dockerfile-dev"
+	}
 }
diff --git a/.devcontainer/Dockerfile → dockerfile-dev b/.devcontainer/Dockerfile → dockerfile-dev