On 8/10/16 5:38 PM, Dmitry Goncharov wrote: >> > does "If any file argument to one of the primaries is of the form > >> > /dev/fd/n, then file descriptor n is checked.". > > >> It seems like a documentation error. > > What should the man page say instead?
Probably something close to what the current text about using /dev/fd in redirections says, maybe: \fBBash\fP handles filenames of the form \fI/dev/fd\fP specially when they are used as arguments to unary operators. If the operating system on which \fBbash\fP is running provides these special files, bash will use them; otherwise if any \fIfile\fP argument to one of the primaries is of the form \fI/dev/fd/n\fP, then file descriptor \fIn\fP is checked. -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, UTech, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/