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

From	Chet Ramey <chet.ramey@case.edu>
Newsgroups	gnu.bash.bug
Subject	Re: bash errexit shell option does not work in some cases.
Date	2020-06-01 10:57 -0400
Organization	ITS, Case Western Reserve University
Message-ID	<mailman.907.1591023432.2541.bug-bash@gnu.org> (permalink)
References	<3f403934d6b5d23ca58afc5146416c7@cweb006.nm.nfra.io> <82be6613-0741-ea53-6fb1-f3da858619b0@case.edu>

Show all headers | View raw

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/

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: bash errexit shell option does not work in some cases. Chet Ramey <chet.ramey@case.edu> - 2020-06-01 10:57 -0400

csiph-web