Re: [Help-bash] Source builtin and error handling

[Chet Ramey]

On 11/30/15 3:58 PM, Marcin Świgoń wrote:
> Dear bash experts,
> 
> Today I came across a strange situation when using set -e, source
> builtin and error handling.

Thanks for the report.  You found a bug in the handling of nested builtins
that should ignore the errexit option.  Bash needs to restore the state
better around calls to builtins that need to have that setting in place
throughout their execution (like source).  This will be fixed in the next
release of bash.

Chet

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/