La question suivante répond comment Ajuster les polices à l'aide de l'outil Tweak mais le luddite en moi aimerait savoir comment faire cela sans installer unity-Tweak-tool
.
Comment puis-je ajuster la police système par défaut à partir d'un terminal.
gsettings
offre une interface en ligne de commande simple à GSettings. Il vous permet d’obtenir, de définir ou de surveiller une clé individuelle pour les modifications.
Vous pouvez définir les polices en suivant les commandes dans le terminal:
gsettings set org.gnome.desktop.interface document-font-name 'Sans 10'
gsettings set org.gnome.desktop.interface font-name 'Ubuntu 10'
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 11'
gsettings set org.gnome.nautilus.desktop font 'Ubuntu 10'
Pour connaître les paramètres actuels, tapez les commandes suivantes dans le terminal:
gsettings get org.gnome.desktop.interface document-font-name
gsettings get org.gnome.desktop.interface font-name
gsettings get org.gnome.desktop.interface monospace-font-name
gsettings get org.gnome.nautilus.desktop font
Supplémentaire:
Pour trouver toutes les clés similaires sur le type de schéma suivant la commande:
gsettings list-recursively org.gnome.desktop.interface
Pour réinitialiser tous les valeurs des clés, exécutez la commande suivante dans le terminal:
gsettings reset-recursively org.gnome.desktop.interface
Des mises à jour récentes ont modifié les facteurs de dimensionnement des polices sur mon système, réinitialisez-les avec cette commande ...
gsettings set org.gnome.desktop.interface text-scaling-factor '1.0'
Vous pouvez utiliser dconf
pour modifier la police système par défaut:
dconf write /org/gnome/desktop/interface/font-name "'NanumGothic Italic 11'"
Pour restaurer la valeur d'origine:
dconf write /org/gnome/desktop/interface/font-name "'Ubuntu 11'"
Note: pour vérifier la valeur actuelle, utilisez la commande suivante:
dconf read /org/gnome/desktop/interface/font-name