Re: [PATCH] initialization of main keymap

[Vincent Lefevre <vincent@vinc17.net>]

On 2022-09-04 09:39:06 +0000, Daniel Shahaf wrote:
> 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?

I would say that they are. First, the zsh bindings are specific
to zsh, while EDITOR (or VISUAL) is global to the system (used
by various utilities) and standardized, thus more visible and
more likely to be changed by the system administrator. Moreover,
the zsh bindings are not linked to the system, while the choice
of $EDITOR may reflect what the system administrator installed
on the system. For instance, he may have installed a better
editor or one with a more recent version in some non-standard
place, which the end user may not know, so that the system
administrator may be tempted to change EDITOR to use this editor
as being a better default.

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)