etc/profile.d/functions

diff --git a/etc/profile.d/functions b/etc/profile.d/functions
index 1e56044479d8315c4b5c96767a9f44d377bc7a93..46fbff739bd96e41a9ad99569d1d7f30f09eeace 100644 (file)
--- a/etc/profile.d/functions
+++ b/etc/profile.d/functions
@@ -115,8 +115,9 @@ nb_repos_grep() {
 # NB 21.10.17 }
 
 timeout() {
-       if which timeout 1>/dev/null; then
-               timeout -- $@
+       local p
+       if p=`which timeout 2>/dev/null`; then
+               $p $@
        else
                perl -e 'BEGIN{$|=1}; $SIG{ALRM}=sub{exit 1}; alarm(shift @ARGV); system join(" ",@ARGV)' -- $@
        fi