Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- echo "do whatever $PATH $BASH $PS1 $0"
- bash -lc 'echo "do whatever $PATH $BASH $PS1 $0"'
- source /etc/profile;echo "do whatever $PATH $BASH $PS1 $0"
- THING_HOME="/opt/thing"
- PATH="$PATH:/opt/thing" # this will NOT work
- # If not running interactively, don't do anything
- [ -z "$PS1" ] && return
Add Comment
Please, Sign In to add comment