Ubuntu 15.10 et avant
Pour réinitialiser la personnalisation des polices gnome effectuée à l'aide System -> Preferences -> Appearance -> Fonts
des commandes suivantes.
Fondamentalement, ces commandes suppriment la personnalisation en supprimant l'instance utilisateur des clés gconf, auquel cas l'environnement revient aux valeurs par défaut du système.
gconftool-2 --unset /desktop/gnome/interface/font_name
gconftool-2 --unset /desktop/gnome/interface/document_font_name
gconftool-2 --unset /desktop/gnome/interface/monospace_font_name
gconftool-2 --unset /apps/metacity/general/titlebar_font
gconftool-2 --unset /apps/nautilus/preferences/desktop_font
Bien que les identificateurs de clés se terminent par name
(au moins dans les trois premiers cas) ce qui est stocké par rapport à eux est la spécification de police complète (comme le nom de la famille / police, la taille, le style, etc.).
Étant donné que ces clés sont stockées dans votre répertoire personnel, elles prennent effet dans toutes les installations Ubuntu qui partagent la partition domestique. Le répertoire .gconf dans votre répertoire personnel est l'endroit où toutes ces informations sont stockées.
- ~ / .gconf / desktop / gnome / interface /% gconf.xml stocke les informations pour
- / desktop / gnome / interface / font_name
- / desktop / gnome / interface / document_font_name
- / desktop / gnome / interface / monospace_font_name
- ~ / .gconf / apps / metacity / general /% gconf.xml stocke / apps / metacity / general / titlebar_font
- ~ / .gconf / apps / nautilus / preferences /% gconf.xml stocke / apps / nautilus / preferences / desktop_font
Ainsi, un moyen grossier de réinitialiser les informations de police pourrait être de renommer / déplacer temporairement ces fichiers. Cependant, cela devrait être fait lorsque la session gnome de l'utilisateur n'est pas active (donc à partir d'une session tty à la Ctrl+Alt+F1
)
Bien sûr, ces fichiers ont d'autres clés dans la même catégorie qui n'ont rien à voir avec les propriétés de police, donc déplacer le fichier entier signifierait que les personnalisations de celles-ci sont également perdues. La façon de traiter les clés est d'utiliser gconftool-2 comme mentionné ci-dessus.
Ubuntu 16.04 et après
gconftool-2
a été remplacé pargsettings
sur Ubuntu 16.04+ et dans d'autres systèmes basés sur GNOME.De nos jours, vous pouvez simplement exécuter ce qui suit dans une fenêtre de terminal pour réinitialiser tous les paramètres de police de votre bureau:
J'espère que cela aide.
la source
Copiez et collez gconf-watcher dans un fichier sur votre PC appelé gconf-watcher. Chmodez-le en exécutable. Exécutez-le dans Terminal et laissez-le fonctionner.
Modifiez chaque paramètre dans
System
→Preferences
→Appearance
→Fonts
. Regardez la sortie de gconf-watcher pour savoir où elle est stockée dans l'arborescence gconf.Installez maintenant gconf-editor . Il ressemble et fonctionne un peu comme l'éditeur de registre Windows. Utilisez-le pour "annuler" les valeurs pertinentes. Sachez que «unset» signifie vraiment «reset» .
Au fait, si je peux me permettre, pourquoi voudriez-vous réinitialiser les paramètres?
la source
Voici une capture d'écran d'un disque live UbuntuGnome 17.04. J'ai installé Mate et Cinnamon Desktiop et j'ai remarqué des changements de police lorsque j'utilisais Gnome. J'ai donc utilisé l'ISO pour prendre une capture d'écran et modifier les paramètres à l'aide de l'outil de modification de gnome.
la source
Pour modifier les paramètres sur Gnome-3, vous pouvez utiliser les paramètres gs .
Pour réinitialiser toutes les polices d'un utilisateur, vous tapez ces commandes sur le terminal utilisateur:
Pour le facteur d'échelle, celui-ci:
Pour obtenir la configuration actuelle de chaque paramètre, remplacez «reset» par «get».
Vous pouvez également le faire avec l'interface graphique en exécutant dconf-editor .
la source
Bien que les réponses soient assez à jour et réalisables pour GNOME3, il y a une mise en garde et c'est même lorsque vous utilisez le
gsettings reset ...
bouton de restauration par défaut de gnome-tweak-tools, vous ne pouvez pas réellement obtenir les polices par défaut définies par la distribution. Par exemple, Ubuntu (avec Unity DE) est fourni avec la police Ubuntu comme police d'interface par défaut, mais si vous installez un autre DE en plus, il peut modifier ces paramètres par défaut.Les valeurs des polices par défaut proviennent en fait des fichiers gschema du
/usr/share/glib-2.0/schemas
répertoire. Lorsque nous installons un métapaquet d'environnement de bureau, il fournit un fichier de remplacement pour modifier ces valeurs par défaut.Si ce genre de choses se produit, vous devez rétablir manuellement la valeur par défaut en écrivant un fichier de remplacement de gschema personnalisé.
Les fichiers de remplacement pour chaque variante GNOME
Pour chaque cas, créez un fichier de remplacement avec ce
/usr/share/glib-2.0/schemas/99_default_font_settings.gschema.override
fichier de nom et remplissez-le avec le contenu suivantUbuntu avec Unity
Ubuntu avec GNOME3
Ubuntu MATE
Une fois le fichier enregistré, utilisez cette commande pour compiler les schémas
Ensuite, l'une des méthodes ci-dessus peut être utilisée pour réinitialiser la valeur par défaut définie par vous.
Alternativement, si vous avez installé l'environnement GNOME sur Ubuntu, vous avez supprimé le
ubuntu-gnome-default-settings
package pour récupérer les paramètres par défaut d'ubuntu. Le package de MATE estubuntu-mate-default-settings
. Si vous avez Ubuntu GNOME par défaut et installé Ubuntu Unity,ubuntu-settings
package supprimé .J'espère que cela vous sera utile dans une certaine mesure.
la source
Je fais référence à starkus ci-dessous - pour cette jolie fenêtre, vous devez installer le paquet gnome-tweak-tools.
Ensuite, vous pouvez définir les polices dans "Schriften" resp. en "polices".
Après avoir modifié les paramètres des polices, redémarrez à nouveau pour obtenir des résultats à l'échelle du système.
la source