Re: [IDEA] more granular shell options to fix errexit

[Chet Ramey]

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    chet@case.edu    http://tiswww.cwru.edu/~chet/