renamed devcontainer name

marc-hanheide · marc-hanheide · commit 83a2abd9861f · 2023-12-08T09:17:23.000Z
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,7 +1,7 @@
 // For format details, see https://aka.ms/devcontainer.json. For config options, see the
 // README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu
 {
-	"name": "Ubuntu",
+	"name": "Ubuntu docker-dpkg-build:master",
 	// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
 	"image": "lcas.lincoln.ac.uk/lcas/docker-dpkg-build:master",
 	"features": {

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`// For format details, see https://aka.ms/devcontainer.json. For config options, see the`
`2`	`2`	`// README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu`
`3`	`3`	`{`
`4`		`- "name": "Ubuntu",`
	`4`	`+ "name": "Ubuntu docker-dpkg-build:master",`
`5`	`5`	`// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile`
`6`	`6`	`"image": "lcas.lincoln.ac.uk/lcas/docker-dpkg-build:master",`
`7`	`7`	`"features": {`