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" ?