diff options
Diffstat (limited to 'broccoli')
| -rwxr-xr-x | broccoli/script/investigate.sh | 6 |
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 |