This is my way to find file names that have some information which i'm interested in, just just one bash line that nicely handles spaces in filenames also: Whilst cat can be used in this manner when producing manually into console, it isn't convenient if I need to supply the https://henryv639dhm1.wikirecognition.com/user