Sto cercando il file "WSFY321.c" in una grande gerarchia di directory.
Di solito userei GNU find : find . -name "WSFY321.c"
ma non conosco il caso, potrebbe essere maiuscolo, minuscolo o un mix di entrambi.
Qual è il modo più semplice per trovare questo file?
C'è qualcosa di meglio di find . | grep -i "WSFY321.c"
?
-type f
flag in modo che non si preoccupi di guardare il nome se l'inode è una directory. Ma sono livelli pedanti di ottimizzazione ...