Here is my way to find file names that have some content that I'm keen on, just only one bash line that nicely handles spaces in filenames way too: I killed the process and experimented with it with cmd using sort file1 file2 > dest and each one was completed https://cattoys11554.bloguetechno.com/cat-tree-no-further-a-mystery-71866714