+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"
export TMOUT=900
export EDITOR='vim'
export LC_CTYPE=cs_CZ.ISO-8859-2
+export PERL_MM_OPT="PREFIX=$HOME"
function cvsdiff { cvs diff "$@" 2>&1| less; }; export -f cvsdiff
function cvsdiffi { cvs diff "$@" 2>&1|grep -v '^?'|less; }; export -f cvsdiffi
function cvsupdate { cvs update "$@" 2>&1| less; }; export -f cvsupdate
function cvsupdatei { cvs update "$@" 2>&1|grep -v '^?'|less; }; export -f cvsupdatei
+function wclines { awk '{x[$0]++}END{for (i in x) print x[i]"\t"i}'; }; export -f wclines
+
ulimit -c 0
if [ -f "$HOME/.bashrc.local" ];then source "$HOME/.bashrc.local";fi
+
+ unset _home_short_dotbashrc # permit later reinitializations
+fi # _home_short_dotbashrc