permit later reinitializations by unsetting "$_home_short_dotbashrc"

diff --git a/.bashrc b/.bashrc
index 977133b..01cb1e2 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -53,4 +53,5 @@ ulimit -c 0
 
 if [ -f "$HOME/.bashrc.local" ];then source "$HOME/.bashrc.local";fi
 
+       unset _home_short_dotbashrc     # permit later reinitializations
 fi     # _home_short_dotbashrc