From d44ffa71533f0ca050e0fc181f00a73ad34a5168 Mon Sep 17 00:00:00 2001
From: Mercier Pierre-Olivier <nemunaire@acu.epita.fr>
Date: Wed, 30 Oct 2013 17:14:41 +0100
Subject: [PATCH] Fix launch on GNU/Linux

---
 process/launch.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/process/launch.sh b/process/launch.sh
index 9b0d6c8..84796de 100755
--- a/process/launch.sh
+++ b/process/launch.sh
@@ -24,7 +24,7 @@ launch_screen()
 	CMD=". $TMP; ssh-add -l; echo; $CMD"
     fi
 
-    if [ $HOSTNAME == "ksh" ]
+    if [ "$HOSTNAME" = "ksh" ]
     then
 	$SCREEN -S "$1" -d -m sh -c "$CMD"
     else