From 05537dc903871a18ff5687fa6b22b3be2d48a04f Mon Sep 17 00:00:00 2001
From: Mercier Pierre-Olivier <nemunaire@acu.epita.fr>
Date: Tue, 1 Oct 2013 04:37:15 +0200
Subject: [PATCH] Use /usr/bin/env instead of raw path, for compatibility
 between Linux and FreeBSD systems

---
 process/launch.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/process/launch.sh b/process/launch.sh
index 92da68a..96c1838 100755
--- a/process/launch.sh
+++ b/process/launch.sh
@@ -2,10 +2,10 @@
 
 cd $(dirname "$0")
 
-GREP='/bin/egrep'
-SCREEN='/usr/bin/screen'
-SED='/bin/sed -E'
-SU='/bin/su -s /bin/sh'
+GREP='/usr/bin/env grep -E'
+SCREEN='/usr/bin/env screen'
+SED='/usr/bin/env sed -E'
+SU='/usr/bin/env su -s /bin/sh'
 PERL='/usr/bin/env perl'
 
 launch_screen()