# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1437423689 25200
# Node ID 14eee92008547399e326a9de6450000aacdfc67e
# Parent  f011ec45b8e817523a94e9dd5395a63ef722b840
source local bashrc

diff -r f011ec45b8e8 -r 14eee9200854 .bashrc
--- a/.bashrc	Fri Jul 03 21:07:03 2015 -0700
+++ b/.bashrc	Mon Jul 20 13:21:29 2015 -0700
@@ -584,6 +584,12 @@
 deactivate
 fi
 
+export CISCO_BASHRC="${HOME}/cisco/bin/.bashrc"
+if [ -e "${CISCO_BASHRC}" ]
+then
+    . "${CISCO_BASHRC}"
+fi
+
 ### regenerate fluxbox menus here for convenience
 MENU=~/web/site/programs.html
 regeneratefluxmenu() {