Hallo,
fuer alle, die es interessiert:
Wer auf der Tastatur im Ziffernblock statt dem Komma einen Punkt haben will, die/der kann folgendermassen vorgehen:
Erst im Terminal aufrufen:
xmodmap -pke > .Xmodmap
Dann im home-Verzeichnis sicherheitshalber die Datei ".Xmodmap" kopieren, einfuegen und in zB. ".Xmodmap_original" umbenennen.
dann ".Xmodmap" bei "keycode 91" aendern:
keycode 91 = KP_Delete KP_Decimal KP_Delete KP_Separator
und es sollte klappen. Wenn nicht, einfach die ".Xmodmap" loeschen und die ".Xmodmap_original" in ".Xmodmap" umbenennen.
Ich habe bei meinen Startprogrammen als Befehl zugefuegt
Xmodmap .Xmodmap
damit er das auch selbstaendig immer so beim Booten konfiguriert.