### .bash_profile --- File ran by login bash  -*- sh -*-
## $Id: .bash_profile,v 1.9 2004/10/07 15:47:18 ivan Exp $

### Ivan Shmakov, ..., 2002, 2003, 2004
## This file is in public domain

### Code:

## Beep
echo -ne '\007'

## Environment
HOSTNAME_SHORT=$(hostname -s)

## Process host-local profiles
if   [ -f $HOME/.bash_profile.X ]; then
    .     $HOME/.bash_profile.X;
fi
if   [ -f $HOME/.bash_profile.$HOSTNAME ]; then
    .     $HOME/.bash_profile.$HOSTNAME
elif [ -f $HOME/.bash_profile.$HOSTNAME_SHORT ]; then
    .     $HOME/.bash_profile.$HOSTNAME_SHORT
fi

## Source .bashrc and .session_common
[ -f $HOME/.bashrc ] && . $HOME/.bashrc
[ -f $HOME/.session_common ] && . $HOME/.session_common

## Set-up linux terminal
case "$TERM" in
    linux*)
    charset G0 user
    setterm \
	-foreground white \
	-background blue \
	-bold off \
	-store
    ;;
esac

## Set-up ssh-agent
eval $(setup-ssh-agent)

## Set-up mesg
mesg y

### .bash_profile ends here