Merge branch 'main' of https://git.benjaminaarsen.nl/benjamin/ros-devcontainer

devcontainer.json

@@ -27,8 +27,8 @@
 		},
 		// Uncomment to persist bash history between sessions
 		{
-			"source": "${localEnv:HOME}${localEnv:USERPROFILE}/.bash_history",
-			"target": "/root/.bash_history",
+			"source": "${localEnv:HOME}/.bash_history",
+			"target": "/home/ubuntu/.bash_history",
 			"type": "bind"
 		},
 		// add dri3
@@ -55,5 +55,5 @@
 	},
 	"features": {
 		"ghcr.io/devcontainers/features/common-utils:2": {}
-	}
+	},
 }