Lors du collage accidentel d'un fichier dans le shell, une tonne d'entrées non-sens laides sont insérées dans l'historique bash. Existe-t-il un moyen propre de supprimer ces entrées? Évidemment, je pourrais fermer le shell et éditer le .bash_history
fichier manuellement, mais peut-être qu’une sorte d’API serait disponible pour modifier l’historique du shell actuel?
tot_lines=$(history | wc -l)
puis en répétanthistory -d $(( tot_lines - $1 ))
.