# A user .bashrc file which is (obviously) used by bash only:
#set -x
#echo $HOME/.bashrc
#echo Init PATH=$PATH
#
#	$HOME/.bashrc
#
#	Invoked for non-login, interactive "bash" sessions, with "-i" flag set.
#	Also invoked when remotely called via "rsh", but "-i" is NOT set in
#	this case. This case is NOT mentioned in the BASH doco !!!.
#
#	See bash(1) doco, on last page for details of bash startup.

case $0 in
	-*)	# login shell, when .profile is processed
		;;

	*)	# Non-login shell via cmdtool, when profiles are missed
		#
		if [ -z "$ETC_PROFILE_DONE" ]
		then
			#echo calling /etc/profile
			. /etc/profile
		fi
		#echo calling $HOME/profile
		. $HOME/.profile

		# For interactive sessions, the following .....
		#
#echo "\$- = $-, BASHRC_DONE=$BASHRC_DONE"
#  Hmmm - next bit doesn't work because pre-openwin (ie: the initial) login
# is a bash shell already - just delete for now.
#		case "$-" in
#			*i*)	# Shell is interactive
#		#		. $HOME/.group_rc
#				# Change prompt slightly to show level
#				if [ ! "$BASHRC_DONE" ]
#				then
#					BASHRC_DONE=true
#					export BASHRC_DONE
#				else
#					PS1="*${PS1}"
#					export PS1
#				fi
#				;;
#		esac
#		;;
esac

cd () {
builtin cd $1
nameit "`whoami` on $HOSTNAME in `pwd`"
}