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