Heute wurde ich mit dem Problem konfrontiert, das Pipe-Symbol („|“) über eine VNC-Verbindung zu meinem Server zu tippen. Wenn ich Alt Gr
+ <
drücke, passiert einfach gar nichts. Andere Zeichen funktionieren hingegen wunderbar. Eine ganz einfache Notlösung (die ich seltsamerweise nirgendwo gefunden habe) ist Folgende:
Bei gedrückter Alt
-Taste einfach die Ziffernfolge 124
auf dem Ziffernblock (NumPad) tippen, denn 124 ist der ASCII-Wert des Pipe-Zeichens.
… und schon erscheint das ersehnte Symbol. Bei mir jedenfalls. 😉
Den Backslash („\“) erhält man übrigens mit Alt
+ 92
und die Tilde („~“) mit Alt
+ 126
.