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.
Réponses:
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.
Pour les utilisateurs de l'interface Unity, la personnalisation des polices peut être réalisée à l'aide de unity-tweak-tool
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.
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 .)
gnome-tweak-tool) à partir du centre logiciel
Advanced Settingset lancez-le.
Vous pouvez également installer DConf Editor (package "dconf-tools" [seulement quelques Ko]) à partir du Centre logiciel Ubuntu.
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