From: short <>
Date: Tue, 9 Oct 2001 21:56:57 +0000 (+0000)
Subject: $HOME/.bash_profile.local is now also optionally executed
X-Git-Tag: rh72~22
X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=commitdiff_plain;h=16aea5ed1de79a99447db48c0ee14c060b1f806c

$HOME/.bash_profile.local is now also optionally executed
---

diff --git a/.bash_profile b/.bash_profile
index 9808136..d5f43d7 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -2,3 +2,5 @@ if [ -f "$HOME/.bashrc" ];then export BASH_ENV="$HOME/.bashrc";source "$BASH_ENV
 
 finger
 m
+
+if [ -f "$HOME/.bash_profile.local" ];then source "$HOME/.bash_profile.local";fi