J'ai vu cette réponse:
Préserver l'historique bash dans plusieurs windows de terminal
Cela fonctionne pour l'histoire, mais je me request s'il y a moyen d'étendre cela si pressant "haut" est partagé aussi bien?
Alors que bash
n'a pas ce comportement exact, zsh
peut le faire avec
setopt inc_append_history share_history
Voir Comment partagez-vous l'historique entre les terminaux de zsh?
Cela devrait être possible en disant à bash d'écrire et de relire l'historique après chaque command. Non testé:
PROMPT_COMMAND="$PROMPT_COMMAND"$'\nhistory -a; history -n'
Le partage de l'historique est le comportement par défaut de ksh. En zsh, vous obtenez ce comportement en share_history
option share_history
et vous pouvez get un contrôle beaucoup plus précis sur la façon dont l'historique est enregistré et fusionné en modifiant les autres options d'historique .