Comment partagez-vous l'histoire entre les terminaux de zsh?

26

Comment peut-il être atteint pour que chaque commande entrée soit visible dans l'historique de chaque terminal ouvert?

Lorsque plusieurs terminaux sont ouverts, l’historique n’est pas partagé, c’est-à-dire que ce que vous avez entré dans l’historique d’un terminal ne s’affiche pas dans un autre. Pensez à une alternative à PROMPT_COMMAND="history -a" de Bash (qui enregistre l'historique avant l'affichage de l'invite).

    
posée MJB 28.01.2011 - 03:04
la source

2 réponses

33

Dans le fichier .zshrc , les valeurs suivantes accomplissent ceci:

  • Pour enregistrer chaque commande avant son exécution (ceci est différent de l’historique de bash - une solution):

    setopt inc_append_history
    
  • Pour récupérer le fichier d’historique à chaque fois que l’historique est appelé.

    setopt share_history
    

Liés à bash:

réponse donnée MJB 28.01.2011 - 03:18
la source
4

Si vous pouvez utiliser l’impressionnant OhMyZSH de Robby Russell, son plugin History s'en chargera, et bien d’autres choses encore.

Voir lien

Cela inclut setopt inc_append_history .

    
réponse donnée james_womack 13.04.2015 - 18:57
la source

Lire d'autres questions sur les étiquettes