Re: /bin/sh fd 12

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Tue, 14 Sep 2021 06:14:31 -0000 (UTC)
    From:        mlelstv%serpens.de@localhost (Michael van Elst)
    Message-ID:  <shpejs$399$1%serpens.de@localhost>

  | /bin/sh uses /dev/tty for job control which is enabled automatically
  | when running as interactive shell. But there is a -m option where
  | you can enable/disable it, i.e. 'sh +m' runs a shell with job control
  | disabled and descriptor 12 not open.

And that's correct, rather than what I thought when I replied to the
original message earlier.

  | Maybe kre@ knows if a shell should allow redirection to its
  | own internal file descriptors.

It shouldn't.  Fixing that one is trivial.   Fixing the fd 13 one is
trickier (but will happen).

  | (Our) ksh only supports the single digit descriptors 0..9 for redirection

All ksh versions, I believe.

kre