From 952630277449261d2c48b5f823ce8cc775e5c52b Mon Sep 17 00:00:00 2001 From: Andrew Tomaka Date: Tue, 15 May 2012 13:44:49 -0400 Subject: [PATCH] Update .profile filename. --- .bash_profile | 2 -- .profile | 1 + 2 files changed, 1 insertion(+), 2 deletions(-) delete mode 100755 .bash_profile create mode 100755 .profile diff --git a/.bash_profile b/.bash_profile deleted file mode 100755 index c3c9caa..0000000 --- a/.bash_profile +++ /dev/null @@ -1,2 +0,0 @@ -source ~/.bashrc -[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function* diff --git a/.profile b/.profile new file mode 100755 index 0000000..86795d7 --- /dev/null +++ b/.profile @@ -0,0 +1 @@ +source ~/.bashrc