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.

Philippe