Recientemente, los números de línea han empezado a aparecer en mi .bash_history archivo. Donde antes, por ejemplo, podría haber tenido sólo
rm -rf *Ahora tengo entradas como
#1565909296
rm -rf *¿Cómo puedo evitar que esos limbos de línea (o marcas de tiempo, o lo que sea) se acumulen en mi .bash_history ¿archivo?
Estos números parecen no tener nada que ver con ninguna de mis configuraciones (y en cualquier caso empezaron a aparecer sin haber hecho ningún ajuste en estas configuraciones):
$ 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 '
