changeset 766:fb03f2527562

remove this; it shouldnt be necessary
author Jeff Hammel <k0scist@gmail.com>
date Sat, 16 Jan 2016 15:30:41 -0800
parents b8ac41eda8ee
children 35f8751c0930
files .bash_profile
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/.bash_profile	Fri Jan 15 21:34:50 2016 -0800
+++ b/.bash_profile	Sat Jan 16 15:30:41 2016 -0800
@@ -1,5 +1,3 @@
 # This file is sourced by bash for login shells.  The following line
 # runs your .bashrc and is recommended by the bash info pages.
 [[ -f ~/.bashrc ]] && . ~/.bashrc
-
-[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function*