Create devcontainer.json

koppor · Aug 16, 2024 · 76fcb1e · 76fcb1e
1 parent b94a0ef
commit 76fcb1e
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+{
+    "name": "iot-ex",
+    "image": "registry.gitlab.com/islandoftex/images/texlive:latest",
+    "customizations": {
+        "vscode": {
+            "extensions": [
+                "DavidAnson.vscode-markdownlint"
+            ]
+        }
+    }
+}