histappend ajoute l'historique courant au fichier d'historique au lieu de l'écraser à la fermeture du shell. C'est utile quand plusieurs shells sont ouverts simultanément, ça permet de garder les commandes de tous les shells dans l'historique sans se soucier de l'ordre dans lequel on les ferme.
Exécuter history -a à chaque affichage du prompt permet d'enregistrer au fur et à mesure toutes les commandes dans l'historique au lieu de les stocker en mémoire jusqu'à la fermeture du shell. J'imagine que ça permet d'avoir un fichier historique plus cohérent quand on utilise histappend avec plusieurs shells, et ça protège contre un défaut d'enregistrement de l'historique en cas de sortie anormale du shell.
Et sinon de base il y a Ctrl+R pour rechercher une chaîne dans l'historique, donc je ne vois pas trop l'intérêt de bidouiller le comportement de la flèche vers le haut qui me va bien comme elle est.
[^] # Re: le p'tit coup de main
Posté par averellb . En réponse au message Configuration historique Bash. Évalué à 1. Dernière modification le 04 janvier 2021 à 16:12.
histappendajoute l'historique courant au fichier d'historique au lieu de l'écraser à la fermeture du shell. C'est utile quand plusieurs shells sont ouverts simultanément, ça permet de garder les commandes de tous les shells dans l'historique sans se soucier de l'ordre dans lequel on les ferme.Exécuter
history -aà chaque affichage du prompt permet d'enregistrer au fur et à mesure toutes les commandes dans l'historique au lieu de les stocker en mémoire jusqu'à la fermeture du shell. J'imagine que ça permet d'avoir un fichier historique plus cohérent quand on utilise histappend avec plusieurs shells, et ça protège contre un défaut d'enregistrement de l'historique en cas de sortie anormale du shell.Et sinon de base il y a
Ctrl+Rpour rechercher une chaîne dans l'historique, donc je ne vois pas trop l'intérêt de bidouiller le comportement de la flèche vers le haut qui me va bien comme elle est.