Question Comment changer les polices et ajuster leur taille?


J'ai trouvé des polices sur internet et les installer sur mon système.

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


173
2018-01-02 21:49


origine




Réponses:


13.04 et plus tard

Pour les utilisateurs de l'interface Unity, la personnalisation des polices peut être effectuée en utilisant tool-tweak-tool Install unity-tweak-tool

enter image description here

enter image description here

enter image description here

Pour 12.04:

Pour les utilisateurs de l'interface Unity, ils disposent de leur propre outil de réglage. La personnalisation des polices en 12.04 peut être effectuée via la myunité Install myunity

enter image description here

Pour les utilisateurs de gnome-shell / combinés gnome-shell & unity, cette personnalisation de police peut être effectuée via gnome-tweak-tool comme décrit ci-dessous.

Pour les versions 11.10 et supérieures (et les utilisateurs GNOME):

Le passage à gnome3 a simplifié de nombreuses fonctionnalités de personnalisation disponibles dans gnome2.

gnome-tweak-tool

(Cliquez sur ici pour l'installer)

Par exemple, l'image ci-dessous montre les options du thème ainsi que la personnalisation des polices.

enter image description here

Malheureusement, il existe une solution de contournement spéciale pour les polices Firefox si vous souhaitez désactiver l'antialiasing. Pour cela, vous devrez exécuter cette commande dans un terminal:

gksudo gedit /etc/fonts/conf.d/10-antialias.conf

Remplacez ensuite "true" par "false", enregistrez le fichier et redémarrez Firefox.


177
2017-09-03 22:24



Donc, je dois télécharger un paquet spécial pour changer la police? Vous ne pouvez sûrement pas être sérieux? - Steve Pitchers
@StevePitchers: Je suis. Et ne m'appelle pas Shirley! - kervin
A la version 15.10, il nous faut encore utiliser 2 (deux) outils tiers pour cela "Les paramètres du système":"Unity Tweak Tool"se met à jour mieux, mais il manque encore un certain nombre de fonctionnalités"Ubuntu Tweak"comprend comme"Police de bureau". - Sadi
Il semble que tout utilitaire "tweak" n'est pas trouvé pour ubuntu 16.04 - paul23


Dans Oneiric (11.10), l'installation de GNOME Shell pour changer la taille des polices ne m'intéressait pas. 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 fontfaces sont les mêmes que celles par défaut de Oneiric, mais dimensionnées à ce qui ressemblait à des tailles beaucoup plus faciles à gérer.


31
2018-01-02 21:52





Pour 11.04 et plus tôt:

Faites un clic droit sur le bureau et sélectionnez "Modifier l'arrière-plan du bureau", puis cliquez sur l'onglet Polices. Ne pourrait pas être plus facile!

(NB: Après avoir joué avec ces réglages, vous pouvez souhaiter réinitialiser votre configuration de police.)

Screenshot


21
2017-10-16 01:56





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

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


16
2017-10-13 12:43





  • Installer les paramètres avancés (aka gnome-tweak-tool) du Software Center

  • Cliquez sur le bouton de tiret ou appuyez sur la touche Super clé, recherche Advanced Settings et lancez-le.

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


13
2017-10-31 23:37



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


Pour Ubuntu 11.10 et plus récent

Vous pouvez également installer l'éditeur DConf (package "dconf-tools" [quelques Ko seulement]) depuis le logiciel Ubuntu.

Pour changer les polices et / ou leur taille

  1. Lancez l'éditeur DConf.
  2. Ouvrez "org" -> "gnome" -> "desktop" -> "interface" dans le volet 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 gauche;
  5. Dans le volet de droite, vous trouverez "font". Vous pouvez taper le nom de la police que vous souhaitez suivi de sa taille (exemple: "Ubuntu 11") comme valeur.

Pour changer l’indication des polices et / ou l’anticrénelage

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

DConf Editor fournit des informations utiles pour le paramètre sélectionné grâce aux champs "Summary" et "Description".

L'ancienne propriété de gnome n'est pas disponible sous Ubuntu 11.10 et plus récent.


9
2017-09-18 17:57



+1 Mais cela ne permet pas de changer les polices et leur taille. - HRJ
Oui tu as raison! A l'origine, j'ai répondu à une autre question qui concernait uniquement "les conseils" et "l'anticrénelage", mais elle a été fusionnée avec celle plus complète. Je vais ajouter des informations manquantes à ma réponse ... - Golboth


Aleksandar a raison. Vous pouvez modifier les paramètres de police du système en installant gnome-tweak-tool (sudo apt-get install gnome-tweak-tool). Cependant, il convient également de noter qu’à ce stade, cela vous oblige également à installer tous les composants de GNOME-Shell, mutter, encombrer et environ 20 autres packages.

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

j'en doute réellement a besoin de ces choses puisque l'outil lui-même fonctionne correctement sous Unity, mais c'est la façon dont les dépendances de paquet sont actuellement configurées.

Notez également que le fait de ne plus pouvoir 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 en 11.10 résulte de la migration de GNOME 2.x vers les bibliothèques et les outils GNOME 3.


5
2017-10-31 22:36





Si vous installez Ubuntu-Tweak, vous pouvez modifier les paramètres de police à partir de leur propre onglet. Cependant, sa version n'est pas encore stable, de sorte que l'avertissement général "utilisation à vos risques et périls" s'applique.

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

Ubuntu Tweak Font settings

Pour l'installer d'abord ajouter ce PPA:

ppa:tualatrix/next

puis installez Ubuntu-tweak dans le centre de logiciels.


Il y a aussi une autre option, moins "officielle", mais qui fonctionne bien. C'est un dialogue de paramètres de police pour le centre de contrôle GNOME.

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

Exemple: Example screenshot


3
2017-10-17 20:33





L'outil gnome-tweak prend désormais en charge la modification de toutes les polices de bureau Gnome.

enter image description here


2
2018-05-07 14:57



Je ne vois pas cette option. - Rasmus