Estoy buscando el archivo "WSFY321.c" en una enorme jerarquía de directorios.
Por lo general, usaría GNU find : find . -name "WSFY321.c"
pero no sé el caso, podría ser mayúscula, minúscula o una combinación de ambos.
¿Cuál es la forma más fácil de encontrar este archivo?
¿Hay algo mejor que find . | grep -i "WSFY321.c"
?
-type f
bandera para que no se moleste en mirar el nombre si el inodo es un directorio. Pero eso es niveles pedantes de optimización ...