+function _bash_profile_addpath() gets unset as it is considered local
+if [ -z "$_home_short_dotbashrc" ];then
+ _home_short_dotbashrc=true
+
if [ -f /etc/bashrc ];then source /etc/bashrc;fi
function _bash_profile_addpath # variable,dirpathname
_bash_profile_addpath CVSROOT "$HOME/cvs" single
_bash_profile_addpath CVSROOT "$HOME/pserver/cvs" single
+unset -f _bash_profile_addpath
+
alias ls='ls -bF'
alias l='ls -lbF'
alias maple="ssh -t vega.fjfi.cvut.cz maple"
ulimit -c 0
if [ -f "$HOME/.bashrc.local" ];then source "$HOME/.bashrc.local";fi
+
+fi # _home_short_dotbashrc