From 5fdf377e47d569ddc8f278cfba3135e361075f04 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Capelle?= <mikael.capelle@typename.fr>
Date: Thu, 16 Mar 2017 12:43:19 +0100
Subject: [PATCH] Redirect output to avoid warning.

---
 path.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/path.sh b/path.sh
index e61ad2b..f83b336 100644
--- a/path.sh
+++ b/path.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-GUROBI_PATH=$(ls -d $HOME/.softwares/gurobi*/linux64)
+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