diff --git a/bashrc b/bashrc index af5d893..fdae3fc 100644 --- a/bashrc +++ b/bashrc @@ -11,7 +11,6 @@ addpath() { at_end=$2 FOUND=$(echo $PATH | grep $wanted_path) if [ $? -ne 0 ] ; then - echo "Found with grep" if [ "$at_end" == "" ] ; then export PATH=$wanted_path:$PATH else