dot/bash_profile: Read bashrc if it's been lost.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 23 Oct 2009 15:45:07 +0000 (16:45 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 23 Oct 2009 15:45:07 +0000 (16:45 +0100)
Do this even if the profile has already been read.  Nautilus is
crazed in some unhelpful way.

dot/bash_profile

index ffea97f..e45fe41 100644 (file)
@@ -232,11 +232,11 @@ fi
 
 [ -f "$HOME/.profile-local" ] && . "$HOME/.profile-local"
 
+fi
+
 # --- Now, if my .bashrc hasn't been run yet, run it ---
 #
 # Oh, don't do that if we don't have a terminal.
 
 [ -z "$__mdw_bashrc" ] && [ -t 0 ] && \
   [ -r $HOME/.bashrc ] && . $HOME/.bashrc
-
-fi