Checking whether or not the path has already been exported

This commit is contained in:
Rodolphe Breard 2015-02-13 13:07:26 +01:00
parent b3099d7f7c
commit ad78c2a78f
2 changed files with 5 additions and 3 deletions

View file

@ -28,7 +28,7 @@ fi
# Custom bin directory
if [ -d "$HOME/bin" ]; then
export PATH="$PATH:$HOME/bin"
[[ ":$PATH:" == *":$HOME/bin:"* ]] || export PATH="$PATH:$HOME/bin"
fi
# OS