Switch VSCode Remote Containers from building to downloading image

Building the image every time is a *terrible* idea, just use existing alexpovel/latex image
alexpovel · Feb 18, 2022 · 4efd364 · 4efd364
1 parent 0136837
commit 4efd364
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,8 +1,12 @@
 {
     "name": "LaTeX",
-    "build": {
-        "dockerfile": "image/Dockerfile",
-    },
+    // Either build the local Dockerfile directly (which can take hours due to slow
+    // TeXLive servers):
+    // "build": {
+    //     "dockerfile": "image/Dockerfile",
+    // },
+    // or rather use a pre-existing image and simply download from DockerHub:
+    "image": "alexpovel/latex",
     // Set *default* container specific settings.json values on container create.
     "settings": {
         "terminal.integrated.defaultProfile.linux": "bash"