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

-rob


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