From 31bf071476b3861373df8cf83fcaf1d7e7c7ee17 Mon Sep 17 00:00:00 2001
From: Pimpest <82343504+pimpest@users.noreply.github.com>
Date: Fri, 6 Feb 2026 19:47:33 +0100
Subject: [PATCH] Fix scripts

---
 scripts/docker_build.sh | 1 +
 scripts/run_bt.sh       | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/scripts/docker_build.sh b/scripts/docker_build.sh
index ecf5ebb..1165320 100755
--- a/scripts/docker_build.sh
+++ b/scripts/docker_build.sh
@@ -1,3 +1,4 @@
+#!/bin/bash
 usage() {
 	cat <<EOF
 Usage:
diff --git a/scripts/run_bt.sh b/scripts/run_bt.sh
index 9481b4c..1e075c0 100755
--- 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"