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