bash: Source local hacks in .bash_profile and .bashrc

diff --git a/bash_profile b/bash_profile
index 4656cbe63731126721ac0118a70b77080547743e..8b236eeb743c119489b517a1a864739757ca5513 100644 (file)
--- a/bash_profile
+++ b/bash_profile
@@ -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 82d50c83830c880c4f264c81a6338020bb4b25fd..a1726406b3c5aa0ff6d3ae91066de1b01ceacbac 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