I am looking for file "WSFY321.c" in a huge directory hierarchy.
Usually I would use GNU find: find . -name "WSFY321.c"
But I do not know the case, it could be uppercase, lowercase, or a mix of both.
What is the easiest way to find this file?
Is there something better than find . | grep -i "WSFY321.c" ?
-type fflag so it won't bother looking at the name if the inode is a directory. But that's pedantic levels of optimization... – Shadur-don't-feed-the-AI Feb 20 '12 at 09:47find . -iname \*WSFY321.c\* -type f– Benj Jun 11 '16 at 22:01-ibefore an option follows for otherfindoptions too. Ex:-nameto search for a name, and-inameto make it case-insensitive.-pathto search for a path, and-ipathto make it case-insensitive. I mention using-ipathin my answer here: Stack Overflow: How to exclude a directory in find . command. – Gabriel Staples Nov 03 '21 at 19:40