if [ -n "$BASH" ] ; then
	HISTFILE="$HOME/.bash_history"
	HISTSIZE=10000
	HISTFILESIZE=10000
	shopt -s histappend
	export PROMPT_COMMAND="set_my_title;history -a; history -c; history -r"
fi