On 2022-12-01 06:42, Philippe Altherr wrote:
> On Wed, Nov 30, 2022 at 2:56 PM Ray Andrews <rayandrews@eastlink.ca> 
> wrote:
>
>     BTW you were right about ERR_EXIT, sheesh, it nukes the whole
>     terminal.
>     I had something like ERR_RETURN in  mind but I guess we don't have
>     that.
>
>
> Actually there is an ERR_RETURN, it's described here 
> <https://zsh.sourceforge.io/Doc/Release/Options.html#index-ERRRETURN>.

That's embarrassing, I could have checked!  Thanks Philippe


>
> Philippe
>