#	.bash_profile - login-time startup file for bash.

#	try to make it as similar as possible to starting up in csh

#  Henry Grebler     4 Feb 99  Dust off for linux.
#  Henry Grebler    10 Mar 94  Move IF, IFNOT to .bashrc.
#  Henry Grebler     8 Mar 94  Allow IF, IFNOT for .bashrc subordinates
#				(in particular, Uts_setup).

echo Starting .bash_profile
stty opost
echo -e '\rStart .bash_profile'

PATH='~/bash:'$PATH; export PATH

echo . $HOME/.bashrc
. $HOME/.bashrc

alias set=echo	#avoid problems with set cdpath

echo source .login_sh
source .login_sh
echo PATH=$PATH

if [ -s /var/spool/mail/henryg ]
then
	cat <<EOF

You have mail. Use Mail command.


EOF
	printf "\007"
fi

echo Finished .bash_profile
