|
[[ -s "/Users/$USER/.rvm/scripts/rvm" ]] && source "/Users/$USER/.rvm/scripts/rvm" # This loads RVM into a shell session. |
about 1 in 10 students has a login setup where $USER is not the same as the /Users/[this name]. We could probably switch to
[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # This loads RVM into a shell session.
which is what tends to work on more machines.
dotfiles/.bash_profile
Line 189 in c2c4b7a
about 1 in 10 students has a login setup where
$USERis not the same as the/Users/[this name]. We could probably switch towhich is what tends to work on more machines.