Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: [PATCH] initialization of main keymap
- X-seq: zsh-workers 50601
- From: Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Re: [PATCH] initialization of main keymap
- Date: Sun, 4 Sep 2022 09:39:06 +0000
- Archived-at: <https://zsh.org/workers/50601>
- Feedback-id: i425e4195:Fastmail
- In-reply-to: <CAMP44s0P3SGZcYjRt5X2HzntTubBNjQTPiCwv6qJhcnFZ=D+GQ@mail.gmail.com>
- List-id: <zsh-workers.zsh.org>
- References: <20220831122842.GC992100@zira.vinc17.org> <CAH+w=7bd+XYR6nOFj0iY-0b50Wpz_9c1yGV98acutpzamWSkkw@mail.gmail.com> <20220901002300.GD992100@zira.vinc17.org> <CAH+w=7axKWJG5cVbx+QDo2fEo2k00L3y4sN3-UhDofVkmY8n2w@mail.gmail.com> <20220901012122.GA1046913@zira.vinc17.org> <CAH+w=7adkUOsBiDTksC9YV=eat5f1CX05RJr5GoU=ae_79HngQ@mail.gmail.com> <CAMP44s2Cz8otHnHiKnknKODioUC-S=oNYPm6c6TFgMb5JgQySg@mail.gmail.com> <20220902085110.GE5920@tarpaulin.shahaf.local2> <20220902132334.GD255755@cventin.lip.ens-lyon.fr> <CAMP44s0P3SGZcYjRt5X2HzntTubBNjQTPiCwv6qJhcnFZ=D+GQ@mail.gmail.com>
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