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