diff options
author | Robin Krahl <guskraro@student.gu.se> | 2017-10-11 09:46:54 +0000 |
---|---|---|
committer | Robin Krahl <guskraro@student.gu.se> | 2017-10-11 09:46:54 +0000 |
commit | fe4028c5d1d49b7fc6981305966dd71b7fbe46e6 (patch) | |
tree | 075b1289a4d3696ea5e318d9e7e328d90f115de1 /broccoli | |
parent | 213eeafebce653b13ac346ed05c139b868c208b7 (diff) | |
download | midbro-fe4028c5d1d49b7fc6981305966dd71b7fbe46e6.tar.gz midbro-fe4028c5d1d49b7fc6981305966dd71b7fbe46e6.tar.bz2 |
investigate.sh: Check that the dump file really exists
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 |