Comment changer les polices et ajuster leur taille?

181

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.

Jorge Castro
la source

Réponses:

185

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:

entrez la description de l'image ici

Et changez la police et la taille de la police.

entrez la description de l'image ici

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-toolInstaller l'unité-tweak-tool

entrez la description de l'image ici

entrez la description de l'image ici

entrez la description de l'image ici

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 myunityInstaller myunity

entrez la description de l'image ici

fossfreedom
la source
14
Donc, je dois télécharger un package spécial pour changer la police? Vous ne pouvez sûrement pas être sérieux?
Steve
7
@StevePitchers: Je le suis. Et ne m'appelle pas Shirley!
Kervin
1
Avec la version 15.10, nous devons toujours utiliser deux (deux) outils tiers pour de tels " Paramètres système ": " Unity Tweak Tool " est mieux mis à jour, mais il lui manque un certain nombre de fonctionnalités incluses dans " Ubuntu Tweak ", telles que " Bureau Police ".
Sadi
Il semble qu'aucun utilitaire "tweak" ne soit trouvé pour Ubuntu 16.04
paul23
33

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.

zpletan
la source
21

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 .)

Capture d'écran

8128
la source
16
gsettings set org.gnome.nautilus.desktop font 'Ubuntu 10'

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

zpletan
la source
12
  • 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.

Lincity
la source
Est-ce la même chose que la réponse de @ fossfreedom ci-dessus?
Zpletan
1
@zpletan Oui original J'ai répondu à cette question par une autre question, mais ces questions ont ensuite été fusionnées.
Lincity
12

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.

Golboth
la source
+1 Mais cela n’aide pas à changer les polices et leur taille.
HRJ
1
Oui tu as raison! A l'origine, j'avais répondu à une autre question qui ne concernait que "allusion" et "antialiasing", mais elle a été fusionnée avec celle plus complète. Je vais ajouter les informations manquantes à ma réponse ...
Golboth
5

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.

Mark Russell
la source
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.

Paramètres de police Ubuntu Tweak

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: Exemple de capture d'écran

RolandiXor
la source
2

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

entrez la description de l'image ici

utilisateur28430
la source
Je ne vois pas cette option.
Rasmus
2

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

Ubuntu

Srinivas Gowda
la source
Aussi peut utiliser "MyUnity"
Web-E
0

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

Aleksandar
la source
0

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.

conner_bw
la source
0

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
DocSalvager
la source