diff options
| author | Fredrik Domeij <fredrik.domeij@umu.se> | 2022-08-18 16:27:55 +0200 |
|---|---|---|
| committer | Fredrik Domeij <fredrik.domeij@umu.se> | 2022-08-18 16:27:55 +0200 |
| commit | 6e0569dd414c00c0c7e3bad0a9683b97118148d5 (patch) | |
| tree | e80698f02a4e5af819e9f62e6f91e1fd46e03086 | |
| parent | c718c3e488701d5253e5c79e398a670449ec3e7f (diff) | |
scripts/remove_entity.sh: complain if file not found
| -rwxr-xr-x | scripts/remove_entity.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/remove_entity.sh b/scripts/remove_entity.sh index 98056013..cf67e74b 100755 --- a/scripts/remove_entity.sh +++ b/scripts/remove_entity.sh @@ -71,4 +71,6 @@ if [ -r "$file" ]; then fi done git diff +else + error "File not found: $file" fi |