Comment substituer des lettres dans l'historique des commandes du bash ?

Solution : en utilisant le caractère ^