Aus den Mitteln der Fakultät wurden neue Rechner für unseren Pool in der Helmholtzstraße 18, Raum E.44, angeschafft, die ab sofort zur Verfügung stehen. Nur die Monitore sind noch die alten geblieben.
Anders als zuvor sind die neuen Rechner nun mit amerikanischen Tastaturen ausgestattet, die einen bequemen Zugriff auf Tasten für „{“ oder „[“ erlauben.
Umlaute sind nach wie vor zugänglich. Der einfachste Weg dazu führt über die Definition einer Compose-Taste. Leider sind die Voreinstellungen bei Gnome so, dass zu Beginn diese noch undefiniert ist. Wenn einmal eine Compose-Taste definiert wurde kann beispielsweise mit
COMPOSE " a
(alle Tasten werden ganz normal hintereinander betätigt) ein „ä“ erzeugt werden. Oder mit
COMPOSE s s
kann ein „ß“ eingegeben werden. Unter
https://help.ubuntu.com/community/GtkComposeTable
gibt es einen Überblick der Kombinationen. Die Optionen für die Wahl einer Compose-Taste können wie folgt ermittelt werden:
heim$ grep "compose:" /usr/share/X11/xkb/rules/base.lst
compose:ralt Right Alt
compose:lwin Left Win
compose:lwin-altgr 3rd level of Left Win
compose:rwin Right Win
compose:rwin-altgr 3rd level of Right Win
compose:menu Menu
compose:menu-altgr 3rd level of Menu
compose:lctrl Left Ctrl
compose:lctrl-altgr 3rd level of Left Ctrl
compose:rctrl Right Ctrl
compose:rctrl-altgr 3rd level of Right Ctrl
compose:caps Caps Lock
compose:caps-altgr 3rd level of Caps Lock
compose:102 <Less/Greater>
compose:102-altgr 3rd level of <Less/Greater>
compose:paus Pause
compose:prsc PrtSc
compose:sclk Scroll Lock
heim$
Wenn beispielsweise die rechte Alt-Taste als Compose-Taste ausgewählt werden soll, kann dies mit
gsettings set org.gnome.desktop.input-sources xkb-options "['compose:ralt']"
geschehen. Wer möchte, kann zuerst die alten Einstellungen mit
gsettings get org.gnome.desktop.input-sources xkb-options
abfragen, um dann auch mehrere Einstellungen gemeinsam anzugeben. Wer beispielsweise die Caps-Lock und Ctrl vertauschen möchte, um anschließend die Ctrl-Taste unten links als Compose-Taste zu verwenden, kann dies mit
gsettings set org.gnome.desktop.input-sources xkb-options "['caps:ctrl_modifier', 'compose:lctrl']"
erreichen mit der Konsequenz, dass dann Caps-Lock nicht mehr zur Verfügung steht.