# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1493095891 25200
# Node ID 51635d21bbb0a8fd8e1443a93e16bc8d15012922
# Parent  0bc7ec47bf0f8c9d0b72e323afca70816189cd5f
genericize

diff -r 0bc7ec47bf0f -r 51635d21bbb0 .bashrc
--- a/.bashrc	Fri Mar 31 16:52:35 2017 -0700
+++ b/.bashrc	Mon Apr 24 21:51:31 2017 -0700
@@ -613,10 +613,10 @@
 
 
 ### source site-specific BASHRC extensions
-export CISCO_BASHRC="${HOME}/cisco/bin/.bashrc"
-if [ -e "${CISCO_BASHRC}" ]
+export LOCAL_BASHRC="${HOME}/.bashrc_local"
+if [ -e "${LOCAL_BASHRC}" ]
 then
-    . "${CISCO_BASHRC}"
+    . "${LOCAL_BASHRC}"
 fi
 
 ### regenerate fluxbox menus here for convenience