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

From	Eli Schwartz <eschwartz@archlinux.org>
Newsgroups	gnu.bash.bug
Subject	Re: bash errexit shell option does not work in some cases.
Date	2020-05-31 22:46 -0400
Message-ID	<mailman.870.1590979632.2541.bug-bash@gnu.org> (permalink)
References	<3f403934d6b5d23ca58afc5146416c7@cweb006.nm.nfra.io> <5a7df0ba-3ad1-1f35-1107-09fdd5950359@archlinux.org>

Show all headers | View raw

[Multipart message — attachments visible in raw view] - 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.
You're merely the latest person to discover that this applies to you:
http://mywiki.wooledge.org/BashFAQ/105

tl;dr
Don't use errexit, it does not mean what you think it does.

-- 
Eli Schwartz
Arch Linux Bug Wrangler and Trusted User

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

Thread

Re: bash errexit shell option does not work in some cases. Eli Schwartz <eschwartz@archlinux.org> - 2020-05-31 22:46 -0400

csiph-web