Update devcontainer.json

erikw · web-flow · commit 05088c4fafa3 · 2025-05-02T04:08:22.000-07:00
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -6,7 +6,7 @@
 		// "ghcr.io/devcontainers-extra/features/apt-get-packages:1": {
 		// // NOTE moved to Dockerfile to utilize docker build cache. But it's actually unclear if this will be faster than the apt-get-packages feature, as it might also utilize overlay filesystem.
 		// 	"version": "latest",
-		// 	"packages": "octave z3 multitime" // Keep in sync with Brewfile, apt-packages.txt
+		// 	"packages": ["octave", "z3", "multitime"] // Keep in sync with Brewfile, apt-packages.txt
 		// }
 	// },
 	"postCreateCommand": "bash scripts/devcontainer_postCreateCommand.sh",
@@ -20,4 +20,4 @@
 			]
 		}
 	}
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@`
`6`	`6`	`// "ghcr.io/devcontainers-extra/features/apt-get-packages:1": {`
`7`	`7`	`// // NOTE moved to Dockerfile to utilize docker build cache. But it's actually unclear if this will be faster than the apt-get-packages feature, as it might also utilize overlay filesystem.`
`8`	`8`	`// "version": "latest",`
`9`		`- // "packages": "octave z3 multitime" // Keep in sync with Brewfile, apt-packages.txt`
	`9`	`+ // "packages": ["octave", "z3", "multitime"] // Keep in sync with Brewfile, apt-packages.txt`
`10`	`10`	`// }`
`11`	`11`	`// },`
`12`	`12`	`"postCreateCommand": "bash scripts/devcontainer_postCreateCommand.sh",`
`@@ -20,4 +20,4 @@`
`20`	`20`	`]`
`21`	`21`	`}`
`22`	`22`	`}`
`23`		`-}`
	`23`	`+}`