From 68aea1d9f03a2354f5c94c4855f08ed79162e801 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 6 Apr 2006 22:56:28 +0100
Subject: [PATCH] bash: Source local hacks in .bash_profile and .bashrc

---
 bash_profile | 2 ++
 bashrc       | 2 ++
 2 files changed, 4 insertions(+)

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
-- 
2.11.0