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

Re: [PATCH] initialization of main keymap



Felipe Contreras wrote on Fri, Sep 02, 2022 at 08:42:11 -0500:
> Moreover, there's also the possibility that it's not the user the one
> who set EDITOR, but the distribution or the system administrator, and
> again, the user doesn't know about this variable.

I don't think that's a strong argument.  The distribution or sysadmin
might append a «bindkey» to /etc/zshrc just like they might append an
«export EDITOR=…» to /etc/zprofile.

Or are you saying that they're more likely to change the value of EDITOR
than to change the default keymap?




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