diff options
-rw-r--r-- | bash/env.profile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bash/env.profile b/bash/env.profile index f009325..2d5b7c6 100644 --- a/bash/env.profile +++ b/bash/env.profile @@ -2,7 +2,6 @@ function appendpath() { local regex="[:^]${1//'/'/'\/'}[:$]" - echo $regex if [[ ! ${PATH} =~ $regex ]]; then PATH=$PATH:$1 fi |