Il s'agit d'un petit script, qui m'est bien utile, que j'avais pompé je ne sais où et que j'avais légèrement modifié à ma sauce. Je vous le mets plus bas, à vous de le remodifier, améliorer à votre sauce. echo -n "Entrez le chemin du fichier (ex. /home/user/.bash_history) : " read fichier  […]