Guest User

Untitled

a guest
Jul 17th, 2018
69
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.33 KB | None | 0 0
  1. # 1. update rvm loading in .bash_profile, by default it looks like :
  2. # [[ -s "$HOME/.rvm/scripts/rvm" ]] && . "$HOME/.rvm/scripts/rvm"
  3.  
  4. if [ -s "$HOME/.rvmrc" ]; then
  5. source "$HOME/.rvmrc"
  6. fi # to have $rvm_path defined if set
  7. if [ -s "${rvm_path-$HOME/.rvm}/scripts/rvm" ]; then
  8. source "${rvm_path-$HOME/.rvm}/scripts/rvm"
  9. fi
Add Comment
Please, Sign In to add comment