Le 27/04/2023 à 13:54, jdanield (via linux-31 Mailing List) a écrit :
sinon en console il y a "find", mais la syntaxe est décourageante,
En supposant que le disque a effectivement été monté depuis l'explorateur donc quelque part sous /media :
find /media -iname "nomdufichier*"