bash history size

Ho trovato questo articolo, in pratica basta inserire nel .bashrc:

export HISTCONTROL=erasedups #rimuove i duplicati
export HISTSIZE=10000        #size of history
shopt -s histappend          #appended to bash_history

Leave a Reply