Search Results

Perhaps this is just an aside, but wouldn't redirecting from a named pipe work? That is, if in $(< file1) file1 would be a named pipe being filled by cat file1 file2 ... ?

And second, wouldn't $(<...