22 Apr
2020
22 Apr
'20
3:41 p.m.
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(a)buric.co> wrote:
On Wed, 22 Apr 2020, arnold(a)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.