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

Re: control caracters



On Fri, Oct 21, 2022 at 04:57:56PM +0200, Pier Paolo Grassi wrote:
> Hello, I was wondering if there is a way for the shell to bind capitalized
> ctrl-keys to different widgets then the non-capitalized counterpart.

https://www.leonerd.org.uk/hacks/fixterms/ may be of interest




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