fix devcontainer config and update version

oxidizing · Feb 29, 2024 · 3338629 · 3338629
1 parent 18587b0
commit 3338629
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 13 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -1,5 +1,5 @@
 FROM hadolint/hadolint:latest-alpine AS hadolint
-FROM ocaml/opam:debian-11-ocaml-4.12
+FROM ocaml/opam:debian-ocaml-4.14
 
 USER root
 

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -26,17 +26,17 @@
                 "ocaml.sandbox": {
                     "kind": "global"
                 }
-            }
-        },
-        // Add the IDs of extensions you want installed when the container is created in the array below.
-        "extensions": [
-            "DavidAnson.vscode-markdownlint",
-            "donjayamanne.githistory",
-            "eamodio.gitlens",
-            "exiasr.hadolint",
-            "irongeek.vscode-env",
-            "ms-vscode.makefile-tools",
-            "ocamllabs.ocaml-platform"
-        ]
+            },
+            // Add the IDs of extensions you want installed when the container is created in the array below.
+            "extensions": [
+                "donjayamanne.githistory",
+                "eamodio.gitlens",
+                "exiasr.hadolint",
+                "irongeek.vscode-env",
+                "ocamllabs.ocaml-platform",
+                "DavidAnson.vscode-markdownlint",
+                "ms-vscode.makefile-tools"
+            ]
+        }
     }
 }