Add link to docker images (#1016)

StevenClontz · web-flow · commit 5221a272985c · 2025-07-09T15:37:44.000-06:00
diff --git a/templates/devcontainer.json b/templates/devcontainer.json
@@ -13,7 +13,7 @@
 //
 ///////////////////////////////////////////////////////////////
 {
-  "image": "oscarlevin/pretext-full",
+  "image": "oscarlevin/pretext-full", // uses latest image from https://hub.docker.com/r/oscarlevin/pretext-full/tags
   // If you don't need sagemath, you can use a smaller base image.  Comment out the line above and uncomment the line below to use a smaller image.
   // "image": "oscarlevin/pretext",
   "features": {"ghcr.io/devcontainers/features/github-cli": {}},

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@`
`13`	`13`	`//`
`14`	`14`	`///////////////////////////////////////////////////////////////`
`15`	`15`	`{`
`16`		`- "image": "oscarlevin/pretext-full",`
	`16`	`+ "image": "oscarlevin/pretext-full", // uses latest image from https://hub.docker.com/r/oscarlevin/pretext-full/tags`
`17`	`17`	`// If you don't need sagemath, you can use a smaller base image. Comment out the line above and uncomment the line below to use a smaller image.`
`18`	`18`	`// "image": "oscarlevin/pretext",`
`19`	`19`	`"features": {"ghcr.io/devcontainers/features/github-cli": {}},`