From 6479198ed38ee0453d59f08dea0dd292315cb6ef Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Wed, 13 Jul 2016 14:12:45 +0100
Subject: [PATCH] etc/profile.d/functions

---
 etc/profile.d/functions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.47.3