Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Official plugin manager?
On Sat, Jan 4, 2020 at 7:47 AM Roman Perepelitsa
<roman.perepelitsa@xxxxxxxxx> wrote:
>
> If keys such as arrows, home, end and delete just worked, this would be perfect!
I tried to solve this a long time ago with Functions/Misc/zkbd, which
allows one to interactively create a terminal profile. The problem is
with knowing how to save/select the correct profile once it has been
created -- I can remote-login to the same home directory from 3
different places with terminals that all identify themselves as the
same terminal type and yet require 3 different profiles to get the key
bindings right depending on the hardware+OS+terminal-emulator from
which I am connecting.
If zkbd could be updated with a better scheme than just using the
value of $TERM to identify the context, it's the sort of thing that
could be invoked from newuser-install.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author