Re: [BUG] Shell option PRINT_EXIT_VALUE lost on function exit, even when LOCAL

Re: [BUG] Shell option PRINT_EXIT_VALUE lost on function exit, even when LOCAL_OPTIONS is not set

X-seq: zsh-workers 52095

From: Lawrence Velázquez <larryv@xxxxxxx>

To: Marlon Richert <marlon.richert@xxxxxxxxx>

Cc: Mikael Magnusson <mikachu@xxxxxxxxx>, Zsh hackers list <zsh-workers@xxxxxxx>

Subject: Re: [BUG] Shell option PRINT_EXIT_VALUE lost on function exit, even when LOCAL_OPTIONS is not set

Date: Fri, 25 Aug 2023 05:04:04 -0400

Archived-at: <https://zsh.org/workers/52095>

Feedback-id: iaa214773:Fastmail

In-reply-to: <CAHLkEDvBz+ZQTgASGbzRbYQ-M8tnEm423RAqwUov1pKi6igJdw@mail.gmail.com>

List-id: <zsh-workers.zsh.org>

References: <CAHLkEDvBz+ZQTgASGbzRbYQ-M8tnEm423RAqwUov1pKi6igJdw@mail.gmail.com>

On Aug 25, 2023, at 2:56 AM, Marlon Richert <marlon.richert@xxxxxxxxx> wrote:

Fair enough, but the rest of my bug report is still valid.

The behavior you reported is documented under LOCAL_OPTIONS, although it might be helpful to mention it under PRINT_EXIT_VALUE as well.

LOCAL_OPTIONS <K>

If this option is set at the point of return from a shell function, most options (including this one) which were in force upon entry to the function are restored; options that are not restored are PRIVILEGED and RESTRICTED. Otherwise, only this option, and the LOCAL_LOOPS, XTRACE and PRINT_EXIT_VALUE options are restored.

https://zsh.sourceforge.io/Doc/Release/Options.html#index-LOCAL_005fOPTIONS

Sent from my iPhone

Reverse Date

Date

Thread

Author