#
#echo executing .bashrc
alias +=pushd
if [ ${BASH_VERSION%%.*} = 1 ]; then
   alias -=popd
else
   alias -- -=popd
fi
alias ~=dirs
alias ls='ls -CF'
alias ll='ls -l'
alias gd=pushd
alias /='history 20'
alias texclean='rm *.aux *.blg *.dvi *.glo *.idx *.lof *.log *.lot *.toc'
alias gjc='/usr/local/jdk1.2.2/bin/java -Xms12m gjc.Main '
alias gjcr='/usr/local/jdk1.2.2/bin/java -Xms12m gjc.Main -bootclasspath /usr/local/src/gj/classes/:/usr/local/jdk1.2.2/jre/lib/rt.jar:/usr/local/jdk1.2.2/jre/lib/i18n.jar '

#set filec
export PS1='[\u:\w:\!] '
set notify
set history=100
