On Wed, 22 Apr 2020, arnold@skeeve.com wrote: > Other mail in the thread credits Tom Duff with /dev/fd ... In any case, > /dev/stdin et al was a great idea. I make *heavy* use of /dev/stdin and /dev/stdout on Linux. Very useful concept. -uso.