From 83f8531ce17c599c3f78ae8e71eb8cb18269f156 Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Fri, 5 Feb 2016 23:00:24 +0100 Subject: [PATCH] [bash] run local bashrc at the very end --- bash_profile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bash_profile b/bash_profile index 1bae7c9..d9e8e5f 100644 --- a/bash_profile +++ b/bash_profile @@ -44,9 +44,6 @@ do shopt -s "$option" 2> /dev/null done -# ~/.bashrc.local can be used for local settings (not in repository) -[ -f ~/.bashrc.local ] && . ~/.bashrc.local - # Add git command completion and prompt export GIT_PS1_SHOWDIRTYSTATE=1 # show unstaged (*) and staged (+) export GIT_PS1_SHOWSTASHSTATE=1 # show $ if something is stashed @@ -175,3 +172,6 @@ solarized() { # Solarize the shell only if running interactively (makes FTP clients happy) [[ "$-" == *i* ]] && do_solarize_shell + +# ~/.bashrc.local can be used for local settings (not in repository) +[ -f ~/.bashrc.local ] && . ~/.bashrc.local