Die einfache Antwort lautet " apt-get install gnome-tweak-tool
", aber das hat den Nachteil des Einzugs gnome-shell
und vieler zugehöriger Pakete.
Sie können dies in der Befehlszeile mit gsettings tun. Beispielsweise:
$ gsettings get org.gnome.settings-daemon.plugins.xsettings hinting
'slight'
$ gsettings set org.gnome.settings-daemon.plugins.xsettings hinting full
$ gsettings get org.gnome.settings-daemon.plugins.xsettings hinting
'full'
Gültige Werte scheinen "keine", "leicht", "mittel", "voll" zu sein.
Auf ähnliche Weise können Sie auch die Antialiasing-Einstellungen konfigurieren.
$ gsettings get org.gnome.settings-daemon.plugins.xsettings antialiasing
'rgba'
$ gsettings set org.gnome.settings-daemon.plugins.xsettings antialiasing none
$ gsettings get org.gnome.settings-daemon.plugins.xsettings antialiasing
'none'
$ gsettings set org.gnome.settings-daemon.plugins.xsettings antialiasing grayscale
$ gsettings get org.gnome.settings-daemon.plugins.xsettings antialiasing
'grayscale'