La réponse simple est " apt-get install gnome-tweak-tool
", mais cela a l'inconvénient de tirer gnome-shell
et de nombreux packages associés.
Vous pouvez le faire sur la ligne de commande en utilisant gsettings. Par exemple:
$ 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'
Les valeurs valides semblent être "aucune", "légère", "moyenne", "pleine".
Vous pouvez également configurer les paramètres d'anticrénelage de la même manière.
$ 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'