export HISTTIMEFORMAT="%F %T: "
export HISTSIZE=5000
if [ -z "$PROMPT_COMMAND" ]; then
	case $TERM in
		xterm*|vte*)
			if [ -e /etc/sysconfig/bash-prompt-xterm ]; then
				PROMPT_COMMAND=/etc/sysconfig/bash-prompt-xterm
			elif [ "${VTE_VERSION:-0}" -ge 3405 ]; then
				PROMPT_COMMAND="__vte_prompt_command"
			else
				PROMPT_COMMAND='printf "\033]0;%s@%s:%s\007" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/~}"'
			fi
		;;
		screen*)
			if [ -e /etc/sysconfig/bash-prompt-xterm ]; then
				PROMPT_COMMAND=/etc/sysconfig/bash-prompt-xterm
			else
				PROMPT_COMMAND='printf "\033]0;%s@%s:%s\007" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/~}"'
			fi
		;;
		*)
			[ -e /etc/sysconfig/bash-prompt-default ] && PROMPT_COMMAND=/etc/sysconfig/bash-prompt-default
		;;
	esac
fi
# ...and now that we have the prompt, make sure history gets updated every time you fire away a command,
# 	not only on GRACEFUL session ends.
export PROMPT_COMMAND="history -a;history -c;history -r;$PROMPT_COMMAND"