chore: add devcontainer (#8220)

This will allow developers to set up a dev environment in VSCode very easily even in a web browser. Signed-off-by: Ali Caglayan <[email protected]>
ocaml · Aug 2, 2023 · dfb6330 · dfb6330
1 parent 8a4da2f
commit dfb6330
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,8 @@
+{
+	"name": "OCaml",
+	"image": "mcr.microsoft.com/devcontainers/base:bullseye",
+	"features": { "ghcr.io/avsm/ocaml-devcontainers-feature/ocaml:latest": {} },
+	"postCreateCommand": "opam init -ay --disable-sandboxing && sudo chown vscode _build && sudo apt-get update && make dev-switch && sudo apt install -y file npm",
+	"mounts": ["source=${localWorkspaceFolderBasename}-ocaml-build,target=${containerWorkspaceFolder}/_build,type=volume"],
+	"remoteUser": "vscode"
+}