Redirect output to avoid warning.

2017-03-16 12:43:19 +01:00 · 2017-03-16 12:43:19 +01:00 · 5fdf377e47
commit 5fdf377e47
parent 8872837785
1 changed files with 1 additions and 1 deletions
--- 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