CM 2026

.devcontainer/devcontainer.json

@@ -1,9 +1,16 @@
 {
   "name": "LaTeX Dev Container",
-  "build": {
-    "dockerfile": "Dockerfile",
-    "context": ".."
-  },
+  "image": "ghcr.io/khannurien/latex-devcontainer:2026.08",
+  // "build": {
+  //   "dockerfile": "Dockerfile",
+  //   "context": ".."
+  // },
+  "remoteUser": "vscode",
+  "updateRemoteUserUID": true,
+  // Local extensions, packaged and installed by the script below:
+  //   .devcontainer/overleaf-keymap  -- Overleaf's keyboard shortcuts
+  //   .devcontainer/paste-figure     -- Ctrl+V an image -> figure environment
+  "postCreateCommand": "bash .devcontainer/install-extensions.sh",
   "customizations": {
     "vscode": {
       "settings": {
@@ -26,7 +33,18 @@
         "latex-workshop.intellisense.package.enabled": true,
         "latex-workshop.intellisense.unimathsymbols.enabled": true,
         "latex-workshop.intellisense.citation.backend": "biblatex",
+        // Linting and formatting (chktex and latexindent ship with TeX Live)
+        "latex-workshop.chktex.enabled": true,
+        "latex-workshop.chktex.run": "onSave",
+        "latex-workshop.formatting.latex": "latexindent",
+        "[latex]": {
+          "editor.formatOnSave": true
+        },
         "latex-workshop.latex.outDir": "build",
+        "latex-workshop.latex.clean.subfolder.enabled": true,
+        "search.exclude": {
+          "**/build": true
+        },
         "latex-workshop.latex.autoBuild.run": "onFileChange",
         "latex-workshop.latex.autoBuild.interval": 3000,
         "latex-workshop.synctex.afterBuild.enabled": true,
@@ -107,15 +125,17 @@
             ]
           }
         ],
-        "latex-workshop.latex.recipe.default": "lastUsed"
+        "latex-workshop.latex.recipe.default": "lastUsed",
+        // Overleaf-style image paste, from .devcontainer/paste-figure. Ctrl+V (or a
+        // drag & drop) of an image into a .tex file writes it here and inserts a
+        // figure environment around it; edit "pasteFigure.template" to change the
+        // block that gets inserted.
+        "pasteFigure.directory": "img"
       },
       "extensions": [
         "james-yu.latex-workshop",
-        "wayou.vscode-todo-highlight"
+        "jgclark.vscode-todo-highlight"
       ]
     }
-  },
-  "remoteUser": "vscode",
-  "updateRemoteUserUID": true,
-  "features": {}
+  }
 }