Modifier la police système par défaut à l'aide du terminal uniquement dans 14.04

12

La question suivante répond à la façon d' ajuster les polices à l'aide de l'outil de réglage, mais le luddite en moi aimerait savoir comment procéder sans installer unity-tweak-tool.

Comment puis-je ajuster la police système par défaut à partir d'un terminal.

unity fonts Tahnoon Pacha
la source

Réponses:

27

gsettingsoffre une interface de 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 des polices en suivant les commandes du 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, saisissez 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

Additionnel:

  • Pour trouver toutes les clés similaires sur le schéma, tapez la commande suivante:

    gsettings list-recursively org.gnome.desktop.interface

  • Pour réinitialiser toutes les valeurs des clés, exécutez la commande suivante dans le terminal:

    gsettings reset-recursively org.gnome.desktop.interface
Pandya
la source
Il est recommandé aux développeurs d'applications et aux utilisateurs finaux d'utiliser Gsettings, pas directement Dconf.
Pandya
9

Les mises à jour récentes ont modifié les facteurs de mise à l'échelle des polices sur mon système, réinitialisez-les avec cette commande ...

gsettings set org.gnome.desktop.interface text-scaling-factor '1.0'
AndyGF
la source
2

Vous pouvez utiliser dconfpour 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'"

Remarque : pour vérifier la valeur actuelle, utilisez la commande suivante:

dconf read /org/gnome/desktop/interface/font-name
Sylvain Pineau
la source
Mérite plus de votes positifs.
don.joey
0

vous pouvez également essayer cette réponse :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

Ceci est un exemple; vous pouvez voir une liste des polices disponibles comme ceci:

ls /usr/share/consolefonts

et si vous ne les avez pas pour une raison quelconque, vous pouvez les installer comme ceci:

sudo apt-get install fonts-ubuntu-font-family-console

notez que vous devrez peut-être placer la commande setfont dans votre .profile ou .bashrc car elle devra peut-être être exécutée à chaque connexion

jmarina
la source