Re: Doc of "set -e" should mention non-locality

2012-07-04 Thread Rainer Blome
Original-Nachricht > Datum: Fri, 29 Jun 2012 18:03:13 -0500 > Von: Dan Douglas > An: bug-bash@gnu.org > CC: Rainer Blome Remember that my main suggestion is to clearly document the intended behavior (see the subject). This could mean to add a generic paragraph to the documentat

Re: Doc of "set -e" should mention non-locality

2012-07-04 Thread Eric Blake
On 07/04/2012 09:37 AM, Rainer Blome wrote: > > * Different POSIX shell implementations are free to behave > differently, because the behavior is not specified exactly. Actually, that's where you are wrong. POSIX _does_ specify bash's current behavior (in fact, bash changed behavior to match PO

Re: Doc of "set -e" should mention non-locality

2012-07-04 Thread Rainer Blome
Thanks for pointing me to that issue report. Original-Nachricht > Datum: Wed, 04 Jul 2012 10:47:11 -0600 > Von: Eric Blake > An: Rainer Blome > CC: Dan Douglas , bug-bash@gnu.org > On 07/04/2012 09:37 AM, Rainer Blome wrote: > > * Different POSIX shell implementations are free

Re: Doc of "set -e" should mention non-locality

2012-07-04 Thread Eric Blake
On 07/04/2012 12:03 PM, Rainer Blome wrote: > Thanks for pointing me to that issue report. > >>> * Different POSIX shell implementations are free to behave >>> differently, because the behavior is not specified exactly. >>> http://pubs.opengroup.org/onlinepubs/009695399/utilities/set.html >> Actu