On Wed, Aug 10, 2016 at 10:30 AM, Chet Ramey <chet.ra...@case.edu> wrote:
> > On 8/10/16 10:19 AM, Dmitry Goncharov wrote: > > > bash does not do what the following quote from the bash man page says it > > > 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? regards, Dmitry