From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 6 Apr 2006 21:56:28 +0000 (+0100)
Subject: bash: Source local hacks in .bash_profile and .bashrc
X-Git-Url: https://git.distorted.org.uk/~mdw/profile/commitdiff_plain/68aea1d9f03a2354f5c94c4855f08ed79162e801?ds=inline;hp=343e26f94253d9272b247adc304d1b7b6c47097b

bash: Source local hacks in .bash_profile and .bashrc
---

diff --git a/bash_profile b/bash_profile
index 4656cbe..8b236ee 100644
--- 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 82d50c8..a172640 100644
--- a/bashrc
+++ b/bashrc
@@ -298,4 +298,6 @@ if (( UID == 0 )); then
   set -o noclobber
 fi
 
+[ -f "$HOME/.bashrc-local" ] && . "$HOME/.bashrc-local"
+
 fi