# .bashrc # User specific aliases and functions # Source global definitions if [ -f /etc/bashrc ]; then . /etc/bashrc fi # alias jed='jed -n -l /home/franco/.jedrc.old' alias ls='/bin/ls --color=yes -F' alias mv='mv -i' alias cp='cp -i' alias more='less' alias xanim='xanim +Av80' alias df='df -T' alias rm='rm -i' alias lpr='lpr -h' alias lpq='lpq -a' alias mail='rxvt -geometry 80x32+200+100 -fn 10x20 +sb -fg black -bg BlanchedAlmond -cr red -e mutt &' # eval `dircolors /home/franco/.dir_colors` # #if [ "$LOGGED" = "true" ] ; then # return 0 #fi # #echo "---" #TTY=`tty` #echo "TTY: $TTY" #echo "TERM: $TERM" #echo "DISPLAY: $DISPLAY" # export FONT="-fn 10x20" export GEOM="-geometry 80x32+120+10" export TERM=xterm export MITSCHEME_LIBRARY_PATH=/usr/local/lib/mit-scheme # #export LOGGED="true"