Mi historia de bash misteriosamente dejó de funcionar, y no tengo idea de cómo solucionarlo. Así es como se ve mi .bashrc:
HISTSIZE=500
HISTFILESIZE=500
HISTFILE=$HOME/.bash_history
Sin embargo, cuando lo ejecuto echo $HISTFILE
se imprime /Users/myusername/.bash_sessions/EE8689E5-7DAD-4018-817E-0AF1DE36082A.historynew
.
Soy el propietario del archivo .bash_history, por lo que no estoy muy seguro de cómo solucionar este problema.
¡Gracias!
$HISTFILE
, por interés? No tengo un .bashrc
OSX e echo $HISTFILE
informa el lugar que esperaría: ¿tiene algún efecto comentar las líneas en cuestión?
HISTFILE="$HOME/.bash_history”
. Sin las comillas, su versión no será válida si la ruta a su directorio principal contiene espacios (u otros caracteres especiales).