On 12/28/18 11:23 PM, Ivan Pozdeev wrote:
> With the recent inherit_errexit , the Bash team seems to have finally
> bumped into a workable way to fix errexit which has been broken for decades
> (https://mywiki.wooledge.org/BashFAQ/105).
>
> Instead of trying to invent a replacement shell option for that and hope to
> get it right on the first try (that errexit failed to), make granular
> options that would each change a single thing -- and see which of them pass
> the test of time.
>
> The following suggested options aim to eliminate all cases that still
> exist, outlined on the above link, where an exit code of a command is
> swallowed/ignored.
Thanks for the suggestion.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
