[bash] erase history duplicates

This commit is contained in:
Fernando Schauenburg 2019-02-17 02:54:31 +01:00
parent d9445fc08d
commit 2a9e1c1f43

View file

@ -18,6 +18,7 @@ bashrc_customize_environment() {
cyan="0;36" blue="0;34" violet="1;35" magenta="0;35" cyan="0;36" blue="0;34" violet="1;35" magenta="0;35"
# Eternal bash history (from https://stackoverflow.com/a/19533853) # Eternal bash history (from https://stackoverflow.com/a/19533853)
export HISTCONTROL=erasedups
export HISTFILESIZE= export HISTFILESIZE=
export HISTSIZE= export HISTSIZE=
export HISTTIMEFORMAT="[%F %T] " export HISTTIMEFORMAT="[%F %T] "