Bonsoir,

J'aimerais savoir s'il y a moyen d'avoir les historiques de plusieurs terminals ouverts partagés.

En fait je bosse souvent dans plusieurs terminals et parfois je tape des commandes assez longues et en passant à un autre terminal j'aimerais bien avoir la dernière commande de l'autre terminal...

Après quelques recherches j'ai ajouté le portion de code ci dessous à mon .bashrc, mais ça ne résoud pas mon problème (sauf si je fais un while true source ~/.bashrc...)

export HISTCONTROL=ignoreboth:erasedups
export HISTSIZE=10000
export HISTFILESIZE=10000
shopt -s histappend
export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"

Merci.

Je ne sais pas pour bash, mais zsh possède une fonction similaire il me semble.

Il me semble bien que terminator le fait

Pour zsh : setopt inc_append_history

terminator ne le fait pas.

Ah ok