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

2020-06-08 Thread Chet Ramey
On 6/8/20 10:44 AM, Eli Schwartz wrote: > Well, Greg does have a pretty good point (which is a point I for one > prioritize in my decision process for "do I personally recommend the use > of set -e") in that another part of the issue is its doing different > things across point releases of a shell

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

2020-06-08 Thread Eli Schwartz
On 6/8/20 10:02 AM, Chet Ramey wrote: > On 6/8/20 7:24 AM, Greg Wooledge wrote: >> This is part of the set -e nightmare, which is what we keep trying to >> get you (and everyone else) to understand. > > Most of the issue with `set -e' is folks not understanding when it's > not in effect. Well, Gr

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

2020-06-08 Thread Chet Ramey
On 6/8/20 7:24 AM, Greg Wooledge wrote: > On Mon, Jun 01, 2020 at 05:28:20PM +0700, Robert Elz wrote: >> in this case: >> >> | You're merely the latest person to discover that this applies to you: >> | http://mywiki.wooledge.org/BashFAQ/105 >> >> doesn't really apply - the cases reported are si

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

2020-06-08 Thread Greg Wooledge
On Mon, Jun 01, 2020 at 05:28:20PM +0700, Robert Elz wrote: > in this case: > > | You're merely the latest person to discover that this applies to you: > | http://mywiki.wooledge.org/BashFAQ/105 > > doesn't really apply - the cases reported are simply bugs in bash, > a shell implementing -e c

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

2020-06-05 Thread Robert Elz
Date:Sun, 31 May 2020 22:46:48 -0400 From:Eli Schwartz Message-ID: <5a7df0ba-3ad1-1f35-1107-09fdd5950...@archlinux.org> While I generally agree with ... | Don't use errexit but not really with: | it does not mean what you think it does. (it does mean what I th

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

2020-06-05 Thread Robert Elz
Date:Mon, 1 Jun 2020 09:16:17 -0400 From:Eli Schwartz Message-ID: <031b5b39-826a-6523-b03b-b839efe9e...@archlinux.org> | I could not figure out whether the grammar allowed | or forbade this this result. It isn't the grammar, that would affect syntax, it is the s

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

2020-06-01 Thread 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 ex

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

2020-06-01 Thread Eli Schwartz
On 6/1/20 6:28 AM, Robert Elz wrote: > Date:Sun, 31 May 2020 22:46:48 -0400 > From:Eli Schwartz > Message-ID: <5a7df0ba-3ad1-1f35-1107-09fdd5950...@archlinux.org> > > While I generally agree with ... > > | Don't use errexit > > but not really with: > > | it doe

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

2020-05-31 Thread Eli Schwartz
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 ex

bash errexit shell option does not work in some cases.

2020-05-31 Thread Hyunho Cho
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 n