From 79210f8ee6f5b6a219e682d81c7966960aac7837 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Capelle?= <mikael.capelle@typename.fr>
Date: Mon, 27 Mar 2017 14:17:15 +0200
Subject: [PATCH] Update path.sh to avoid warning when there is no gurobi.

---
 path.sh | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/path.sh b/path.sh
index d0a8bb0..cdd4cc5 100644
--- a/path.sh
+++ b/path.sh
@@ -4,19 +4,20 @@ PYTHONPATH=${PYTHONPATH}:${HOME}/Dev/python/libs
 PYTHONPATH=${PYTHONPATH}:/local/lib/python3.4
 PYTHONPATH=${PYTHONPATH}:/usr/local/lib/python3.4
 
-GUROBI_PATH=$(ls -d $HOME/.softwares/gurobi*/linux64 2> /dev/null)
-
-if [ -e "$GUROBI_PATH" ]; then
-    LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${GUROBI_PATH}/lib
-    PATH=${PATH}:${GUROBI_PATH}/bin
-    PYTHONPATH=${PYTHONPATH}:${GUROBI_PATH}/lib/python3.4_utf32
-    export GRB_LICENSE_FILE=${GUROBI_PATH}/gurobi.lic
-fi
-
 MYSOFT_PATH=$HOME/.softwares
 
 if [ -e "$MYSOFT_PATH" ]; then
     PATH=${PATH}:${MYSOFT_PATH}/bin
+
+    HAS_GUROBI=$(ls ${MYSOFT_PATH} | grep "gurobi")
+    if [ ! -z "${HAS_GUROBI}" ]; then
+        GUROBI_PATH=$(ls -d $HOME/.softwares/gurobi*/linux64)
+        LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${GUROBI_PATH}/lib
+        PATH=${PATH}:${GUROBI_PATH}/bin
+        PYTHONPATH=${PYTHONPATH}:${GUROBI_PATH}/lib/python3.4_utf32
+        export GRB_LICENSE_FILE=${GUROBI_PATH}/gurobi.lic
+    fi
+
 fi
 
 export PATH