Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: ERR_RETURN doc

X-seq: zsh-workers 51175
From: Philippe Altherr <philippe.altherr@xxxxxxxxx>
To: Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>
Cc: Zsh hackers list <zsh-workers@xxxxxxx>
Subject: Re: ERR_RETURN doc
Date: Sat, 10 Dec 2022 15:06:09 +0100
Archived-at: <https://zsh.org/workers/51175>
In-reply-to: <20221210113355.GW27622@tarpaulin.shahaf.local2>
List-id: <zsh-workers.zsh.org>
References: <5d0c4e22-80b0-2fd2-ee75-6902da52d121@eastlink.ca> <CAH+w=7aeERdOcpPzTmKVQFK7HLduh2s1J9VFzumCh6W0SJFqpg@mail.gmail.com> <57e8e248-bb1a-663a-8557-e3fc13f671d4@eastlink.ca> <CAH+w=7aW9meLuEKSGsKiZMXoAd7KBc9fgakXZnB_t2iphq=BPQ@mail.gmail.com> <e35c2f14-abda-93d7-bf2c-6823d6d3215d@eastlink.ca> <CAN=4vMrZzxYVjc63DwU=Scks39FhzmK+E57XerOwusmd64QOjw@mail.gmail.com> <c2f348d1-8982-d4a4-2c78-a0dd67319b8c@eastlink.ca> <CAGdYchv9T6ByD7meADqWzdJwAF2SG2YXhasT0=+AQvV+08ZRrA@mail.gmail.com> <CAH+w=7Z-JwDrBaQtsqGXabipPwjGgFy+K03y_JaXuPYKBQzU6A@mail.gmail.com> <CAGdYcht2a6oDePU_ba1Y7TZuWmWY9ELtzq7KX8jjEfuz=Zi3SQ@mail.gmail.com> <20221210113355.GW27622@tarpaulin.shahaf.local2>

Shouldn't docs of ERR_EXIT explicitly mention that «! true» does not
cause an exit?

Arguably there is much more that is missing. Zsh's ERR_EXIT specification doesn't even state that ERR_EXIT is disabled in the condition of if/while/etc. Zsh intends to be compatible with POSIX' "set -e" specification. That specification is quite a bit longer. Should Zsh's specification repeat all of that? Or should it link to it?

Philippe

Follow-Ups:
- Re: ERR_RETURN doc
  - From: Bart Schaefer

References:
- ERR_RETURN doc
  - From: Bart Schaefer
- Re: ERR_RETURN doc
  - From: Philippe Altherr
- Re: ERR_RETURN doc
  - From: Daniel Shahaf

Messages sorted by: Reverse Date, Date, Thread, Author