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 |