J'ai trouvé des polices sur Internet et les ai installées sur mon système.

Quel est le moyen le plus simple de changer mes polices? Je préférerais un moyen graphique facile à utiliser, mais les réponses avec des recommandations en ligne de commande sont également les bienvenues.

Ubuntu 18.04 et versions ultérieures

La dernière Ubuntu utilise GNOME Shell. Vous pouvez changer les polices à l’aide du programme "GNOME Tweaks" ( gnome-tweak-tool).

Installez le programme en utilisant le logiciel Ubuntu:

Et changez la police et la taille de la police.

13.04 - 17.04

Pour les utilisateurs de l'interface Unity, la personnalisation des polices peut être réalisée à l'aide de unity-tweak-tool

Pour 12.04 :

Pour les utilisateurs de l'interface Unity, ils disposent de leur propre outil d'ajustement. La personnalisation des polices dans 12.04 peut être effectuée via myunity

Dans Oneiric (11.10), l'installation de GNOME Shell ne m'intéressait pas uniquement pour modifier la taille des polices. Cela le fera via la ligne de commande:

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'
gconftool --set /apps/metacity/general/titlebar_font 'Ubuntu Bold 10' --type STRING

Les polices de caractères sont les mêmes que dans Oneiric par défaut, mais leur taille semble être bien plus gérable.

Pour les versions 11.04 et antérieures:

Faites un clic droit sur le bureau et sélectionnez "Changer le fond du bureau" puis cliquez sur l'onglet Polices. Ça ne pourrait pas être plus facile!

(NB: Après avoir joué avec ces paramètres, vous voudrez peut-être réinitialiser la configuration de votre police .)

gsettings set org.gnome.nautilus.desktop font 'Ubuntu 10'

Où Ubuntu 10est la police et la taille que vous souhaitez utiliser. Il par défaut à Ubuntu 11.

• Installer les paramètres avancés (aka gnome-tweak-tool) à partir du centre logiciel

• Cliquez sur le bouton tiret ou appuyez sur la Supertouche, recherchez-le Advanced Settingset lancez-le.

• Cliquez sur Polices et ajustez les paramètres de police.

Pour Ubuntu 11.10 et plus récent

Vous pouvez également installer DConf Editor (package "dconf-tools" [seulement quelques Ko]) à partir du Centre logiciel Ubuntu.

Pour changer les polices et / ou leur taille

1. Lancer l'éditeur DConf;
2. Ouvrez "org" -> "gnome" -> "desktop" -> "interface" dans le volet de gauche;
3. Dans le volet de droite, vous trouverez "document-font-name", "font-name" et "monospace-font-name". Vous pouvez remplacer le nom de la police et / ou sa taille par celui que vous souhaitez pour chaque paramètre.
4. Ouvrez "org" -> "gnome" -> "nautilus" -> "desktop" dans le volet de gauche;
5. Dans le volet de droite, vous trouverez "police". Vous pouvez taper le nom de la police de votre choix suivi de sa taille (Exemple: "Ubuntu 11") comme valeur.

Pour changer les polices suggérant et / ou antialiasing

1. Lancer l'éditeur DConf;
2. Ouvrez "org" -> "gnome" -> "settings-daemon" -> "plugins" -> "xsettings" dans le volet de gauche;
3. Dans le volet de droite, vous trouverez "allusion" et "antialiasing". Vous pouvez sélectionner la valeur souhaitée pour les paramètres.

L'éditeur DConf fournit des informations utiles sur le paramètre sélectionné grâce aux champs "Résumé" et "Description".

Les anciennes propriétés gnome-apparence-properties ne sont pas disponibles sous Ubuntu 11.10 et les versions plus récentes.

Aleksandar est correct. Vous pouvez modifier les paramètres de police du système en installant gnome-tweak-tool ( sudo apt-get install gnome-tweak-tool). Toutefois, il convient également de noter qu’à présent, cela vous oblige également à installer tous les logiciels GNOME-Shell, mutter, fouillis et environ 20 autres packages.

C'est loin d'être la fin du monde, mais il semble excessif de changer les polices système. (Confession: je l'ai fait quand même :).

Je doute qu'il ait réellement besoin de ces éléments, car l'outil lui-même fonctionne correctement sous Unity, mais c'est ainsi que les dépendances de paquet sont actuellement configurées.

Remarque: le fait que vous ne puissiez plus modifier les polices système à partir de "Apparence" n'est pas une décision de conception prise par les développeurs Ubuntu. Ces paramètres ont été supprimés de GNOME 3 par GNOME en amont. Le fait que cette modification apparaisse dans la version 11.10 est le résultat de la migration de GNOME 2.x vers les bibliothèques et outils GNOME 3.

Si vous installez Ubuntu-Tweak, vous pouvez modifier les paramètres de police à partir de leur propre onglet. Cependant, il n’est pas encore à une version stable, donc l’avertissement général «utilisez à vos risques et périls» s’applique.

L'avantage est que vous n'avez pas besoin d'installer GNOME-Shell.

Pour l'installer, ajoutez d' abord ce PPA:

ppa:tualatrix/next

puis installez ubuntu-tweak dans le centre logiciel.

Il existe également une autre option, moins "officielle", mais qui fonctionne bien. C'est un dialogue de paramétrage de police pour le centre de contrôle GNOME.

Vous pouvez l'obtenir ici: http://gnomefiles.org/content/show.php/GNOME+Font+Settings?content=146126

Exemple:

Gnome-tweak-tool prend désormais en charge la modification de toutes les polices de bureau Gnome.

Utiliser l'outil Gnome Tweak

Installez-le en utilisant les commandes ci-dessous dans le terminal.

sudo add-apt-repository ppa: tualatrix / ppa

sudo apt-get update

sudo apt-get install ubuntu-tweak

Une fois installé, allez à Tweaks >> polices

Vous pouvez utiliser gnome-tweak-tool.Search dans synaptic.

Je ne pouvais pas le trouver non plus.

Je suis arrivé à la conclusion que l'installation d'une application appelée MyUnity était la solution la plus raisonnable pour le moment. Dans le Centre logiciel Ubuntu, recherchez: MyUnity ou:

sudo apt-get install myunity

Une fois installé et lancé, essayez de peaufiner les paramètres sous "police".

J'espère que cela t'aides.

Par utilisateur dans GTK3 3.17+ ...

Cela a fonctionné pour moi, mais je suis actuellement sur la version 3.24.10 de GTK3. Ma recherche indique cependant que cela pose un problème depuis la 3.17.

Changer le gtk-font-nameréglage dans ~/.config/gtk-3.0. La valeur doit inclure le nom et la taille de la police, tels que ...

gtk-font-name=Helvetica 10