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

Re: one time in 20 error


On 2022-12-01 06:42, Philippe Altherr wrote:
On Wed, Nov 30, 2022 at 2:56 PM Ray Andrews <rayandrews@xxxxxxxxxxx> 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.

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



Philippe

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