Just say I have a file: \"HelloWorld.pm\" in multiple subdirectories within a Git repository.
I would like to issue a command to find the full paths of all the files
git ls-files | grep -i HelloWorld.pm
The grep -i makes grep case insensitive.