Salut, Michael EDLICH a écrit :
Connaissez vous un moyen pour supprimer l'historique donné par la commande history du bash ?
[man bash] history -c [...] -c Clear the history list by deleting all the entries.