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 $HISTFILEse 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 .bashrcOSX e echo $HISTFILEinforma 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).