Fail if no file is available

2015-02-01 17:34:26 +03:00 · 2015-02-01 17:34:26 +03:00 · 9695ac5418
commit 9695ac5418
parent 909fc31f46
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -163,6 +163,11 @@ main() {
 			}
 		else
 			file="$target"
 			[[ -f "$file" ]] || {
 				sup.err "No such file: ${file}"
 				return 1
 			}
 		fi
 	fi