Récemment, des numéros de ligne ont commencé à apparaître dans mes .bash_history dossier. Alors qu'auparavant, par exemple, j'aurais pu avoir juste
rm -rf *J'ai maintenant des entrées comme
#1565909296
rm -rf *Comment éviter que ces limbes (ou horodateurs, ou quoi que ce soit d'autre) ne s'accumulent dans mon .bash_history fichier ?
Ces chiffres semblent n'avoir aucun rapport avec mes réglages (et ont d'ailleurs commencé à apparaître sans qu'aucun réglage de ces réglages n'ait été effectué) :
$ grep -i 'hist' .bash* .profile
.bash_profile:export HISTCONTROL=ignorespace:ignoredups
.bash_profile:#export HISTCONTROL=ignoreboth:erasedups
.bash_profile:#export HISTCONTROL=ignoreboth:ignorespace:ignoredups
.bash_profile:export HISTSIZE=10000
.bash_profile:export HISTFILESIZE=500000
.bash_profile:SHELL_SESSION_HISTORY=0
.bash_profile:export HISTTIMEFORMAT='%y-%m-%d-%T '
