Vous avez probablement INC_APPEND_HISTORY
set.
En INC_APPEND_HISTORY
de l'option man zshoptions
:
Cette option fonctionne comme APPEND_HISTORY sauf que de nouvelles lignes d'historique sont ajoutées. au $HISTFILE de manière incrémentale (dès qu'elles sont saisies), plutôt que d'attendre que le jusqu'à ce que le Shell se termine.
L'option souhaitée est la suivante APPEND_HISTORY
:
A Si cette option est activée, les sessions zsh ajouteront leur liste d'historique au fichier d'historique, plutôt que de la remplacer. plutôt que de la remplacer. Ainsi, plusieurs sessions zsh parallèles auront toutes les nouvelles entrées de leur liste d'historique ajoutées au fichier d'historique, dans l'ordre où elles quittent la session. Le fichier sera périodiquement réécrit pour l'alléger lorsque le nombre de lignes dépasse de 20% au-delà de la valeur spécifiée par $SAVEHIST (voir aussi l'option HIST SAVE BY COPY ).
Pour en savoir plus sur ces options, consultez la rubrique man zshoptions
, man zshall
ou en ligne aquí .
Pour les définir, dans votre ~/.zshrc
ou similaire, vous devriez avoir :
setopt APPEND_HISTORY
Sachez que, si vous utilisez oh-my-zsh par défaut, je crois, INC_APPEND_HISTORY
est utilisé. Je ne suis pas sûr à 100 % de la façon dont les choses sont chargées, mais si le fichier oh-my-zsh
remplace celle que vous avez définie dans l'option ~/.zshrc
Vous pouvez le modifier dans ~/.oh-my-zsh/lib/history.zsh