pbielefeldt/explora_rcs

bashrc scripts for the use of ExPlORA

my .bashrc has the following lines:

alias mount_explora=". $HOME/mountExplora.sh"

alias source_explora="source $HOME/.source_explora.rc"
alias source_fopi="source $HOME/.source_fopi.rc"
alias source_genfit="source $HOME/.source_genfit.rc"
alias source_geant="source $HOME/.source_geant.rc"

alias source_localexplora="source $HOME/.source_local-explora-dev.rc"