L'historique de toutes les sessions Shell est moins utile que je l'espérais !
J'ai mis avec enthousiasme PROMPT_COMMAND='history -a; history -r'
dans l'espoir que mon utilisation de l'histoire soit bien meilleure !
Wow, j'ai été déçu.
Essentiellement, faire cela rend la flèche up/dn inutile. Parce que maintenant, chaque session d'historique est remplie de commandes provenant d'autres sessions. Et pour moi, cela fait perdre la meilleure fonctionnalité de l'historique.
Ce que je voulais vraiment
De temps en temps, je voulais essentiellement transférer mon historique d'une session de terminal à une autre session afin de pouvoir facilement rappeler les commandes de cette session. Et je peux le faire de manière très sélective.
Ce que j'ai fait
J'ai mis en place une série d'alias simples de manipulation de l'historique & j'ignore ces commandes dans l'historique :
alias ha="history -a"
alias hb="history -a; history -r"
alias hr="history -r"
alias hl="history | tail -20"
HISTIGNORE="ha:hb:hr:hl"
Je pense à hb
comme mélange d'histoire... les autres sont explicites.
Maintenant, lorsque je veux copier mon historique de la session A à la session B, je peux le faire :
-
A :
ha
- session annexe A historique vers le fichier historique
-
B :
hb
- session annexe B historique au fichier historique et ensuite lire le fichier
Cela préserve essentiellement l'ordre de l'historique pour la session B et ajoute la session A l'histoire plus loin dans la liste.
Super utile pour moi. Peut-être vous aidera-t-il aussi !