changeset 755:14eee9200854

source local bashrc
author Jeff Hammel <k0scist@gmail.com>
date Mon, 20 Jul 2015 13:21:29 -0700
parents f011ec45b8e8
children 12f0be02e9cc
files .bashrc
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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() {