patch..

2026-08-03 14:04:19 +09:00
parent 4b181e5ad3
commit d560ce6f82
48 changed files with 19866 additions and 555 deletions
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -e
+
+source "/opt/ros/${ROS_DISTRO}/setup.bash"
+
+# A prior colcon build takes precedence over apt packages when the workspace
+# is mounted. This makes source edits immediately available to ROS commands.
+if [[ -f "${NAV2_WORKSPACE}/install/setup.bash" ]]; then
+  source "${NAV2_WORKSPACE}/install/setup.bash"
+fi
+
+exec "$@"