Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- # If user ID is greater than or equal to 1000 & if ~/bin exists and is a directory & if ~/bin is not already in your $PATH
- # then export ~/bin to your $PATH.
- if [[ $UID -ge 1000 && -d $HOME/bin && -z $(echo $PATH | grep -o $HOME/bin) ]]
- then
- export PATH="${PATH}:$HOME/bin"
- fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement