Gnome-Tweaks („Optimierungen“): Das Tool ist allein schon wegen der Schriftenskalierung eine Empfehlung. Die Optionen zur Tastenbelegung sind in einem Untermenü versteckt.
Zurück zum Artikel: Ubuntu optimieren: Nützliche Tweaks und Tuning-Tools
