Gestion de l'historique Bash avec plusieurs terminaux

J'utilise principalement Terminator, et il est généralement ouvert avec 3 fenêtres de terminal divisées. J'utilise aussi le terminal Gnome pour diverses raisons.
Je me demande comment l’histoire de bash est gérée dans ce cas car je manque parfois des commandes précédemment émises lorsque je lancehistory

Par exemple, mon invite affiche la ligne d’historique bash actuelle ( \!) et, si je lance Terminator avec 3 fenêtres de terminal partagées, j’obtiens la même ligne d’historique (100 par exemple) sur tous les terminaux. Quelle histoire sera sauvegardée?

Lançant également Gnome Terminal après l’utilisation de Terminator, j’obtiens la ligne 100 au démarrage, quelles que soient les commandes passées auparavant dans Terminator

La session bash enregistrée est celle du terminal qui est fermé le plus tard. Si vous souhaitez enregistrer les commandes pour chaque session, vous pouvez utiliser l'astuce expliquée ici .

export PROMPT_COMMAND='history -a'

Pour citer la page de manuel: «Si cette option est définie, la valeur est exécutée sous forme de commande avant l'émission de chaque invite principale.»

Ainsi, chaque fois que ma commande est terminée, l'élément historique non écrit est ajouté ~/.bash_historyavant d'afficher à nouveau l'invite (uniquement $ PS1).

Donc, après avoir mis cette ligne, /etc/bash.bashrcje n'ai pas à me retrouver à réinventer des roues ou à perdre de précieuses secondes à taper à nouveau du texte simplement parce que j'étais paresseux avec mes terminaux.

Quoi qu'il en soit, vous devrez tenir compte du fait que les commandes de différentes sessions seront mélangées dans votre fichier d'historique afin qu'il ne soit pas si simple de le lire ultérieurement.

Voir également:

• https://unix.stackexchange.com/questions/1288/preserve-bash-history-in-multiple-terminal-windows

Après plusieurs lectures de man bash, j’utilise des fichiers d’historique distincts pour chaque shell. J'ai fait mkdir -m 0700 ~/.historyensuite ajouté

[[ -d ~/.history ]] || mkdir --mode=0700 ~/.history
[[ -d ~/.history ]] && chmod 0700 ~/.history
HISTFILE=~/.history/history.$(date +%y%b%d-%H%M%S).$$
# close any old history file by zeroing HISTFILESIZE  
HISTFILESIZE=0  
# then set HISTFILESIZE to a large value
HISTFILESIZE=4096  
HISTSIZE=4096  

à mon ~/.bashrc. De temps en temps, je me souviens de le du -sk .historynettoyer. C'est bien d'avoir toutes les commandes que j'ai tapées conservées pour moi.

J'ai juste utilisé ce qui précède pour voir ce que j'avais fait récemment:
cut -f1 "-d " .history/* | sort | uniq -c |sort -n -r |less
ou
cut -f1-2 "-d " .history/* | sort | uniq -c |sort -n -r |less
(pour inclure le 1er argument, par exemple sudo mountdans la chaîne de tri).

Pour montrer historyde tous les terminaux:

Ajoutez export PROMPT_COMMAND='history -a; history -r'à votre fichier .bashrc.

Source: http://northernmost.org/blog/flush-bash_history-after-each-command

Voir aussi " conserver l'historique persistant dans bash " pour une autre alternative. Il invite votre invite à envoyer toutes les commandes jamais saisies dans n’importe quel terminal dans un fichier "historique persistant" (à côté de ce qui est habituellement fait pour la base .history).