I am using the option "Meta key" in "Keyboard setup", so that Alt can be used as meta key.
The problem is that regular chars (e.g. "|", which is "AltGr + <" on a german keyboard) are being send as ^[| now, instead of just "|" (according to "Ctrl-V, |").
I am not sure how other terminal emulators handle this; they probably only use the left/normal Alt key as meta key, but not AltGr.
The pipe symbol is quite an important symbol, so this makes the "Meta key" option quite unusable on a German keyboard layout, without applying workarounds to rebind Meta-| on the target system.
btw: Pressing "Alt + <" on a German keyboard does nothing locally (and will send ^[< correctly to the remote system).
I am using the option "Meta key" in "Keyboard setup", so that Alt can be used as meta key.
The problem is that regular chars (e.g. "|", which is "AltGr + <" on a german keyboard) are being send as ^[| now, instead of just "|" (according to "Ctrl-V, |").
I am not sure how other terminal emulators handle this; they probably only use the left/normal Alt key as meta key, but not AltGr.
The pipe symbol is quite an important symbol, so this makes the "Meta key" option quite unusable on a German keyboard layout, without applying workarounds to rebind Meta-| on the target system.
btw: Pressing "Alt + <" on a German keyboard does nothing locally (and will send ^[< correctly to the remote system).