Fix scripts

2026-02-06 19:47:33 +01:00
parent a0f08f7b76
commit 31bf071476
2 changed files with 3 additions and 0 deletions
--- a/scripts/run_bt.sh
+++ b/scripts/run_bt.sh
@@ -5,6 +5,8 @@ ros_distro="jazzy"
 script_dir=$(dirname "$(readlink -f "${bash_source[0]}")")
 pids=()

+trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT
+
 source "/opt/ros/${ROS_DISTRO}/setup.bash"
 source "./install/setup.bash"