tools: enable bash "safe mode"

Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
2024-06-03 21:43:17 +01:00
parent 9bfe299184
commit fe92d1b238
2 changed files with 4 additions and 0 deletions
@@ -1,5 +1,7 @@
 #!/bin/bash

+set -euo pipefail
+
 SCRIPT_FOLDER="$(realpath "$(dirname "$0")")"
 SCRIPT="$SCRIPT_FOLDER/extract-patch-data.sh"

@@ -1,5 +1,7 @@
 #!/bin/bash

+set -euo pipefail
+
 while read current_line
 do
    if [[ $current_line =~ ^Filename:* ]]; then