Re: bash errexit shell option does not work in some cases.

[Chet Ramey]

On 5/31/20 10:32 PM, Hyunho Cho wrote:
> 
> GNU bash, version 5.0.16(1)-release (x86_64-pc-linux-gnu)
>  Operating System: Ubuntu 20.04 LTS
>  Kernel: Linux 5.4.0-33-generic
>  Architecture: x86-64
> 
> 
> bash errexit shell option does not work in some cases.
> after execution a command, exitcode is set to "1" but shell script does not 
> exited.

Thanks for the report. These are bugs; they're artifacts from when the
standard said `set -e' worked only on simple commands. This will be fixed
in the next devel branch push.

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/