#--------------------------------------------------------------------------------
# Record history for longer and more dynamically
#--------------------------------------------------------------------------------
# Unlimited history buffer
export HISTSIZE=
export HISTFILESIZE=

# Avoid duplicates in the history...
export HISTCONTROL=ignoreboth

# Record the timestamp in the bash history
export HISTTIMEFORMAT="%Y-%m-%d %T "

# Append history entries...
shopt -s histappend
#--------------------------------------------------------------------------------