On 04/07/2021 21:54, Robert Elz wrote:
Date: Sun, 4 Jul 2021 19:26:25 +0100 From: Harald van Dijk <a...@gigawatt.nl> Message-ID: <40fc0b0c-364f-8ff8-0613-a76c887d4...@gigawatt.nl>| P.S.: The fact that the underlying file descriptor of standard output is | fd 1 rather than some other fd is specified under "stderr, stdin, stdout | - standard I/O streams", look for "STDOUT_FILENO", but I think that is | ultimately no longer relevant. But for interest, what section are you referring to, I don't have a (useful) PDF grep tool
I was looking at the HTML version. Aside from its search function, you can find it there under System Interfaces (top left frame), then System Interfaces (bottom left frame), then stdout (bottom left frame).
Cheers, Harald van Dijk
