Mon histoire bash a mystérieusement cessé de fonctionner, et je n'ai aucune idée de comment y remédier. Voici à quoi ressemble mon .bashrc:
HISTSIZE=500
HISTFILESIZE=500
HISTFILE=$HOME/.bash_history
Cependant, lorsque je l'exécute, echo $HISTFILE
il s'imprime /Users/myusername/.bash_sessions/EE8689E5-7DAD-4018-817E-0AF1DE36082A.historynew
.
Je suis le propriétaire du fichier .bash_history, donc je ne suis pas trop sûr de la façon dont je voudrais résoudre ce problème.
Merci!
$HISTFILE
, par intérêt? Je n'ai pas d' .bashrc
OSX et echo $HISTFILE
signale l'endroit auquel je m'attendrais - commenter les lignes en question a-t-il un effet?
HISTFILE="$HOME/.bash_history”
. Sans les guillemets, votre version ne sera pas valide si le chemin d'accès à votre répertoire personnel contient des espaces (ou éventuellement d'autres caractères spéciaux).