Advertisement
Guest User

Untitled

a guest
Dec 8th, 2021
39
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.28 KB | None | 0 0
  1. # 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
  2. # then export ~/bin to your $PATH.
  3. if [[ $UID -ge 1000 && -d $HOME/bin && -z $(echo $PATH | grep -o $HOME/bin) ]]
  4. then
  5.     export PATH="${PATH}:$HOME/bin"
  6. fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement