various updates

[distro-setup] / .bash_profile

diff --git a/.bash_profile b/.bash_profile
index a2254a1b49a06e98062dc76f79ff4e69b855e45e..fd099aa593ad0ff9c683385624cde4c26f3b3c5f 100644 (file)
--- a/.bash_profile
+++ b/.bash_profile
@@ -12,3 +12,6 @@
 # the user to change.
 
 [[ -f ~/.bashrc ]] && . ~/.bashrc
+
+
+[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function*