web-dev-qa-db-fra.com

Changer la police système par défaut en utilisant le terminal uniquement dans 14.04

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.

11
Tahnoon Pasha

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
    
27
Pandya

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'
9
AndyGF

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
2
Sylvain Pineau