Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: control caracters
- X-seq: zsh-users 28250
- From: Matthew Martin <phy1729@xxxxxxxxx>
- To: zsh-users@xxxxxxx
- Subject: Re: control caracters
- Date: Fri, 21 Oct 2022 10:06:15 -0500
- Archived-at: <https://zsh.org/users/28250>
- In-reply-to: <CAP+y1xDo5P8dA=4Go0npA2cgfhF8cdGGTKPdZorxH0mt=S09CA@mail.gmail.com>
- List-id: <zsh-users.zsh.org>
- Mail-followup-to: zsh-users@xxxxxxx
- References: <CAP+y1xDo5P8dA=4Go0npA2cgfhF8cdGGTKPdZorxH0mt=S09CA@mail.gmail.com>
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