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"