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

Re: [PATCH] TYPESET_TO_UNSET + misc.



2021-04-13 22:52:27 -0700, Bart Schaefer:
[...]
> I chose TYPESET_TO_UNSET as the option to control this, to go along
> with TYPESET_SILENT and because it works a bit better when negated as
> NO_TYPESET_TO_UNSET.
[...]

Sorry if I'm completely beside the point as I didn't look at the
patch, but those options sound at least related to bash's
localvar_unset and localvar_inherit options
(https://www.gnu.org/software/bash/manual/html_node/The-Shopt-Builtin.html)

It may make sense to use the same name if they are semantically
equivalent.

-- 
Stephane




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