diff options
| author | EuAndreh <eu@euandre.org> | 2025-05-16 11:20:36 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2025-05-16 11:20:36 -0300 |
| commit | 82cb9a3420b122d4739d9c719cab486d65226ad5 (patch) | |
| tree | d35f4b896b2eecd20129c37298cd12da4947c46c /src/instool | |
| parent | src/instool: Support "mo" type besides "man" (diff) | |
| download | eut-82cb9a3420b122d4739d9c719cab486d65226ad5.tar.gz eut-82cb9a3420b122d4739d9c719cab486d65226ad5.tar.xz | |
src/instool: Early exit when no files are given
Diffstat (limited to 'src/instool')
| -rwxr-xr-x | src/instool | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/instool b/src/instool index addfc41..4b4db66 100755 --- a/src/instool +++ b/src/instool @@ -93,6 +93,9 @@ type_mo() { } +if [ $# = 0 ]; then + exit +fi dirs_"$TYPE" "$@" for f in "$@"; do type_"$TYPE" "$f" |