Here is my way to discover file names that have some articles which i'm keen on, just a single bash line that nicely handles Areas in filenames much too: I killed the procedure and tried it with cmd applying form file1 file2 > dest and each was done in seconds. https://waynec678qkc1.wikinarration.com/user