Guest User

Untitled

a guest
Jul 18th, 2018
74
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.30 KB | None | 0 0
  1. echo "do whatever $PATH $BASH $PS1 $0"
  2.  
  3. bash -lc 'echo "do whatever $PATH $BASH $PS1 $0"'
  4.  
  5. source /etc/profile;echo "do whatever $PATH $BASH $PS1 $0"
  6.  
  7. THING_HOME="/opt/thing"
  8. PATH="$PATH:/opt/thing" # this will NOT work
  9.  
  10. # If not running interactively, don't do anything
  11. [ -z "$PS1" ] && return
Add Comment
Please, Sign In to add comment