I’m using a German keyboard. On German keyboards, some characters have been turfed to an indirection with the right Alt key, labeled AltGr (I think English keyboards label that one simply Alt as well, just like the left one).
I’m accessing my workstation which is under my desk at work from my home office via a Virtual Client from which I perform a remote desktop login (yes, two indirections). That works surprisingly well but may have to do with my issue. Unfortunately I cannot try the directly attached keyboard now.
Suddenly, these characters stopped working properly in mintty. This happened around the time I updated to Windows 10 22H2. The bizarre thing is that they stopped working in an ancient cygwin installation as well as in a recently updated msys2 installation, so it is probably not an upgrade issue. And yet it must be an issue with mintty because other programs, as well as a cygwin bash in a console Window, display the symbols without any issue. This means that we can exclude the keyboard as well as the keyboard and language settings on any of the three machines involved. I also renamed the usual suspects .inputrc, .minttyrc and .bashrc, to no avail.
The keys have a slightly different effect. I use Ctrl-V to display the raw character sequences arriving from every key press:
- {: Displays nothing but erases the line input and jumps to column 1 (that means, I think, that the key emits a character sequence which is only partially digested by Ctrl-V so that the rest is interpreted as a control sequence by the terminal).
- [: Displays ^[
- ]: Displays ^]
- }: Displays ^[[1;7p
- : Displays ^
As I said, Windows programs and a bash console work just fine.
Any ideas?