add devcontainer

latex4ei · Mar 12, 2024 · 3e144e9 · 3e144e9
1 parent af285b7
commit 3e144e9
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,12 @@
+{
+    "name": "LaTeX4Ei Devcontainer",
+    "image": "makeappdev/uselatex:latest",
+    "extensions": [
+        "eamodio.gitlens",
+        "James-Yu.latex-workshop",
+        "ms-azuretools.vscode-docker",
+        "ms-vscode-remote.vscode-remote-extensionpack",
+        "ms-vscode.cmake-tools",
+        "twxs.cmake"
+    ],
+}