diff options
Diffstat (limited to 'etc/functions/finfo')
-rwxr-xr-x | etc/functions/finfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/functions/finfo b/etc/functions/finfo index 87b8acd..a73606d 100755 --- a/etc/functions/finfo +++ b/etc/functions/finfo @@ -3,7 +3,7 @@ ## Assume that a function begins with an introduction, and print it typeset line -[[ -n $(whichf $1) ]] || return 1 +whichf $1 &> /dev/null || return 1 while read line; do [[ $line == \#* ]] || break |