From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Wed, 13 Jul 2016 13:12:45 +0000 (+0100)
Subject: etc/profile.d/functions
X-Git-Url: https://git.nbdom.net/?a=commitdiff_plain;h=6479198ed38ee0453d59f08dea0dd292315cb6ef;p=nb.git

etc/profile.d/functions
---

diff --git a/etc/profile.d/functions b/etc/profile.d/functions
index a385b75e..4e6945bb 100644
--- a/etc/profile.d/functions
+++ b/etc/profile.d/functions
@@ -5,7 +5,7 @@
 #################################################################################
 if ! which timeout 1>/dev/null; then
 timeout() {
-  perl -e 'BEGIN{$|=1}; alarm(shift @ARGV); exec join(" ",@ARGV)' -- $@
+  perl -e 'BEGIN{$|=1}; $SIG{ALRM}=sub{exit 1}; alarm(shift @ARGV); system join(" ",@ARGV)' -- $@
 }
 fi