Re: /bin/sh redirect without command failure mode

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

    Date:        Sun, 25 Nov 2018 23:02:09 +0100
    From:        Rhialto <rhialto%falu.nl@localhost>
    Message-ID:  <20181125220209.GL20600%falu.nl@localhost>

  | Maybe this:
  | From
  | http://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#tag_18_09_01

Thanks - and I should have remembered that, I had seen it before, and
somewhere I knew that, just didn't apply it to the current question.

That makes it clear, we should change.

That will happen very soon now.

Thanks, and thanks also to the others who replied.

kre