export HISTTIMEFORMAT="`whoami` %Y/%m/%d %T "
if ! echo "$PROMPT_COMMAND" | grep -q "history -a"; then
    export PROMPT_COMMAND="history -a;$PROMPT_COMMAND"
fi
export HISTSIZE=1000
export HISTFILESIZE=10000
unset HISTCONTROL