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
Comments (0)
Trackbacks (0)
Leave a comment
Trackback


comments: