fix devcontainer startup

vooon · vooon · commit dd6ad49d3b7f · 2026-02-15T13:42:54.000+01:00
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -3,6 +3,7 @@ FROM ros:${ROS_DISTRO}
 
 SHELL ["/bin/bash", "-o", "pipefail", "-c"]
 ENV DEBIAN_FRONTEND=noninteractive
+ENV PATH="/root/.local/bin:${PATH}"
 
 RUN apt-get update && apt-get install -y --no-install-recommends \
     build-essential \
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -11,8 +11,7 @@
   "workspaceMount": "source=${localWorkspaceFolder},target=/ws/src/mavros,type=bind",
   "remoteUser": "root",
   "containerEnv": {
-    "ROS_DISTRO": "kilted",
-    "PATH": "/root/.local/bin:${containerEnv:PATH}"
+    "ROS_DISTRO": "kilted"
   },
   "runArgs": [
     "-p",
@@ -35,4 +34,4 @@
       ]
     }
   }
-}
+}
diff --git a/.devcontainer/whole-workspace/devcontainer.json b/.devcontainer/whole-workspace/devcontainer.json
@@ -11,8 +11,7 @@
   "workspaceMount": "source=${localWorkspaceFolder}/../..,target=/ws,type=bind",
   "remoteUser": "root",
   "containerEnv": {
-    "ROS_DISTRO": "kilted",
-    "PATH": "/root/.local/bin:${containerEnv:PATH}"
+    "ROS_DISTRO": "kilted"
   },
   "runArgs": [
     "-p",

Original file line number	Diff line number	Diff line change
`@@ -11,8 +11,7 @@`
`11`	`11`	`"workspaceMount": "source=${localWorkspaceFolder},target=/ws/src/mavros,type=bind",`
`12`	`12`	`"remoteUser": "root",`
`13`	`13`	`"containerEnv": {`
`14`		`- "ROS_DISTRO": "kilted",`
`15`		`- "PATH": "/root/.local/bin:${containerEnv:PATH}"`
	`14`	`+ "ROS_DISTRO": "kilted"`
`16`	`15`	`},`
`17`	`16`	`"runArgs": [`
`18`	`17`	`"-p",`
`@@ -35,4 +34,4 @@`
`35`	`34`	`]`
`36`	`35`	`}`
`37`	`36`	`}`
`38`		`-}`
	`37`	`+}`