bash: Source local hacks in .bash_profile and .bashrc
authorMark Wooding <mdw@distorted.org.uk>
Thu, 6 Apr 2006 21:56:28 +0000 (22:56 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 6 Apr 2006 21:56:28 +0000 (22:56 +0100)
bash_profile
bashrc

index 4656cbe..8b236ee 100644 (file)
@@ -198,6 +198,8 @@ if pixie --version >/dev/null 2>&1; then
   fi
 fi
 
+[ -f "$HOME/.profile-local" ] && . "$HOME/.profile-local"
+
 # --- Now, if my .bashrc hasn't been run yet, run it ---
 #
 # Oh, don't do that if we don't have a terminal.
diff --git a/bashrc b/bashrc
index 82d50c8..a172640 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -298,4 +298,6 @@ if (( UID == 0 )); then
   set -o noclobber
 fi
 
+[ -f "$HOME/.bashrc-local" ] && . "$HOME/.bashrc-local"
+
 fi