fix: no-gui devcontainer name

beniaminopozzan · beniaminopozzan · commit e9d7923c27c6 · 2025-10-21T11:08:10.000+01:00
Signed-off-by: Beniamino Pozzan &lt;beniamino.pozzan@gmail.com&gt;
diff --git a/.devcontainer/nogui/devcontainer.json b/.devcontainer/nogui/devcontainer.json
@@ -1,5 +1,5 @@
 {
-    "name": "px4_roscon_25_linux",
+    "name": "px4_roscon_25_nogui",
     "image": "dronecode/roscon-25-workshop:latest",
     "forwardPorts": [8765, 18750],
     "customizations": {

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "px4_roscon_25_linux",`
	`2`	`+ "name": "px4_roscon_25_nogui",`
`3`	`3`	`"image": "dronecode/roscon-25-workshop:latest",`
`4`	`4`	`"forwardPorts": [8765, 18750],`
`5`	`5`	`"customizations": {`