comparison .bashrc @ 840:51635d21bbb0

genericize
author Jeff Hammel <k0scist@gmail.com>
date Mon, 24 Apr 2017 21:51:31 -0700
parents 2d32115dc56c
children 8270a1e4eeed
comparison
equal deleted inserted replaced
839:0bc7ec47bf0f 840:51635d21bbb0
611 deactivate 611 deactivate
612 fi 612 fi
613 613
614 614
615 ### source site-specific BASHRC extensions 615 ### source site-specific BASHRC extensions
616 export CISCO_BASHRC="${HOME}/cisco/bin/.bashrc" 616 export LOCAL_BASHRC="${HOME}/.bashrc_local"
617 if [ -e "${CISCO_BASHRC}" ] 617 if [ -e "${LOCAL_BASHRC}" ]
618 then 618 then
619 . "${CISCO_BASHRC}" 619 . "${LOCAL_BASHRC}"
620 fi 620 fi
621 621
622 ### regenerate fluxbox menus here for convenience 622 ### regenerate fluxbox menus here for convenience
623 MENU=~/web/site/programs.html 623 MENU=~/web/site/programs.html
624 regeneratefluxmenu() { 624 regeneratefluxmenu() {