comparison .bashrc @ 755:14eee9200854

source local bashrc
author Jeff Hammel <k0scist@gmail.com>
date Mon, 20 Jul 2015 13:21:29 -0700
parents f7b939206baf
children f632a9850bb8
comparison
equal deleted inserted replaced
754:f011ec45b8e8 755:14eee9200854
582 if type deactivate &> /dev/null 582 if type deactivate &> /dev/null
583 then 583 then
584 deactivate 584 deactivate
585 fi 585 fi
586 586
587 export CISCO_BASHRC="${HOME}/cisco/bin/.bashrc"
588 if [ -e "${CISCO_BASHRC}" ]
589 then
590 . "${CISCO_BASHRC}"
591 fi
592
587 ### regenerate fluxbox menus here for convenience 593 ### regenerate fluxbox menus here for convenience
588 MENU=~/web/site/programs.html 594 MENU=~/web/site/programs.html
589 regeneratefluxmenu() { 595 regeneratefluxmenu() {
590 if [ -e "${MENU}" ] 596 if [ -e "${MENU}" ]
591 then 597 then