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 un moyen graphique facile à utiliser, mais les réponses avec des recommandations de lignes de commande sont également les bienvenues.
La dernière Ubuntu utilise GNOME Shell. Vous pouvez changer les polices en utilisant les "GNOME Tweaks" ( gnome-tweak-tool ).
Installez le programme en utilisant le logiciel Ubuntu :
Et changez la police et la taille de la police.
Pour les utilisateurs de l'interface Unity, la personnalisation des polices peut se faire à l'aide des éléments suivants unity-tweak-tool
Les utilisateurs de l'interface Unity disposent de leur propre outil de réglage. La personnalisation des polices dans la version 12.04 peut se faire par le biais de maunité
Dans Oneiric (11.10), je n'avais pas envie d'installer GNOME Shell juste pour changer la taille des polices. Ceci 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 STRINGLes polices de caractères sont les mêmes que dans le Oneiric par défaut, mais elles sont réduites à des tailles qui semblent beaucoup plus faciles à gérer.
Faites un clic droit sur le bureau et sélectionnez "Modifier l'arrière-plan du bureau", puis cliquez sur l'onglet "Polices". Rien de plus facile !
(NB : Après avoir joué avec ces paramètres, vous souhaiterez peut-être réinitialiser la configuration de votre police .)
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
