Je cherche le fichier "WSFY321.c" dans une énorme hiérarchie de répertoires.
J'utilise habituellement GNU find : find . -name "WSFY321.c"
Mais je ne connais pas le cas, cela pourrait être en majuscule, minuscule ou un mélange des deux.
Quel est le moyen le plus simple de trouver ce fichier?
Y a-t-il quelque chose de mieux que find . | grep -i "WSFY321.c"
?
-type f
indicateur afin que le nom ne soit pas pris en compte si l'inode est un répertoire. Mais ce sont des niveaux d'optimisation pédants ...