Réponses:
À l'invite Bash, tapez les commandes suivantes et effectuez les étapes répertoriées après chacune:
set -o | grep history
Si vous supprimez "l'historique", ajoutez cette ligne à la fin de votre ~/.bashrc
:
set -o history
Essayez ensuite:
echo $HISTFILE
echo $HISTSIZE
echo $HISTFILESIZE
Si le premier est vide ou /dev/null
, ajoutez cette ligne à la fin de votre ~/.bashrc
:
HISTFILE=$HOME/.bash_history
Si l'un des deux derniers imprime 0, définissez-les sur un certain nombre comme la valeur par défaut de 500:
HISTFILESIZE=500
HISTSIZE=500
Une chose que vous pouvez faire est de vérifier si la variable d'environnement "HISTFILE" est définie. Il doit être défini sur le fichier dans lequel vous souhaitez écrire votre historique. La deuxième chose à vérifier, si le fichier est défini, que votre utilisateur est autorisé à écrire ce fichier. Ce sont les deux premières choses qui me viennent à l'esprit.