Pour effacer plusieurs lignes de l’historique à l’aide d’un script avec de la couleur et des prompts, oui c’est presque magnifique.
Le script :
#!/bin/bash |
Le rendre exécutable et le lancer :
# chmod u+x |
Ou plus simplement, avec ValeurMin < ValeurMaxi l’intervalle de lignes à supprimer :
# for (( i=ValeurMini; i<=ValeurMaxi; i++ )); do history -d $i; done |
Et encore plus simplement, en lisant le manuel de Bash :
# history -d start end |
Documentation
Xa, le man de bash