aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbroccoli/script/investigate.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/broccoli/script/investigate.sh b/broccoli/script/investigate.sh
index f701102..9f67949 100755
--- a/broccoli/script/investigate.sh
+++ b/broccoli/script/investigate.sh
@@ -10,6 +10,12 @@ then
exit
fi
+if [[ ! -f "$1" || ! -r "$1" ]]
+then
+ echo "Dump file $1 does not exist or cannot be read."
+ exit
+fi
+
CAPTURE_FILE=$(realpath "$1")
FILTER_MACHINE=$2
FILTER_REGISTER=$3