Not certain, but it's possible /dev/stdin went in first, and /dev/fd/* generalized it.


On Wed, Apr 22, 2020 at 7:35 PM Steve Nickolas <> wrote:
On Wed, 22 Apr 2020, 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