From df80f6a80c9cc85e7fe07deee9991cd0cebc9f18 Mon Sep 17 00:00:00 2001 From: theme Date: Mon, 14 Oct 2013 19:04:02 +0800 Subject: [PATCH] Fix issue 268. Set PROFILE to .bashrc in case of ubuntu. --- install-gitless.sh | 4 +++- install.sh | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/install-gitless.sh b/install-gitless.sh index d2ee6e6..18d3856 100755 --- a/install-gitless.sh +++ b/install-gitless.sh @@ -25,7 +25,9 @@ popd > /dev/null if [ ! -z "$1" ]; then PROFILE="$1" else - if [ -f "$HOME/.bash_profile" ]; then + if [ -f "$HOME/.bashrc" ]; then + PROFILE="$HOME/.bashrc" + elif [ -f "$HOME/.bash_profile" ]; then PROFILE="$HOME/.bash_profile" elif [ -f "$HOME/.profile" ]; then PROFILE="$HOME/.profile" diff --git a/install.sh b/install.sh index 7833b93..69a5fd5 100755 --- a/install.sh +++ b/install.sh @@ -23,7 +23,9 @@ echo if [ ! -z "$1" ]; then PROFILE="$1" else - if [ -f "$HOME/.bash_profile" ]; then + if [ -f "$HOME/.bashrc" ]; then + PROFILE="$HOME/.bashrc" + elif [ -f "$HOME/.bash_profile" ]; then PROFILE="$HOME/.bash_profile" elif [ -f "$HOME/.profile" ]; then PROFILE="$HOME/.profile"