Comment réinitialiser les paramètres de police - police et taille réelles - à leurs valeurs par défaut?
(J'ai changé certaines valeurs dans Système-> Préférences-> Apparence-> Polices)
Ceci est particulièrement important avec la nouvelle police Ubuntu dans Maverick - par exemple, je suis intéressé de voir quels sont les paramètres par défaut.
Réponses:
Pour réinitialiser la personnalisation des polices gnome effectuée à l'aide System -> Preferences -> Appearance -> Fontsdes 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.
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.
gconftool-2a été remplacé par gsettingssur 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:
gsettings reset org.gnome.desktop.interface font-name
gsettings reset org.gnome.desktop.interface document-font-name
gsettings reset org.gnome.desktop.interface monospace-font-name
gsettings reset org.gnome.desktop.wm.preferences titlebar-font
gsettings reset org.gnome.nautilus.desktop font
gsettings reset org.gnome.desktop.interface text-scaling-factor
J'espère que cela aide.
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?
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.
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:
gsettings reset org.gnome.desktop.interface monospace-font-name
gsettings reset org.gnome.desktop.interface document-font-name
gsettings reset org.gnome.desktop.interface font-name
gsettings reset org.gnome.desktop.wm.preferences titlebar-font
Pour le facteur d'échelle, celui-ci:
gsettings reset org.gnome.desktop.interface text-scaling-factor
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 .
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/schemasré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é.
Pour chaque cas, créez un fichier de remplacement avec ce /usr/share/glib-2.0/schemas/99_default_font_settings.gschema.overridefichier de nom et remplissez-le avec le contenu suivant
[org.gnome.desktop.interface]
font-name="Ubuntu 11"
monospace-font-name="Ubuntu Mono 13"
[org.gnome.desktop.wm.preferences]
titlebar-font='Ubuntu Bold 11'
[org.gnome.desktop.interface]
font-name="Cantarell 11"
monospace-font-name="Ubuntu Mono 13"
[org.gnome.desktop.wm.preferences]
titlebar-font='Cantarell Bold 11'
[org.gnome.desktop.interface]
document-font-name='Ubuntu 11'
font-name='Ubuntu 11'
monospace-font-name='Ubuntu Mono 13'
[org.gnome.desktop.wm.preferences]
titlebar-font='Ubuntu Bold 11'
Une fois le fichier enregistré, utilisez cette commande pour compiler les schémas
sudo glib-compile-schemas /usr/share/glib-2.0/schemas
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-settingspackage pour récupérer les paramètres par défaut d'ubuntu. Le package de MATE est ubuntu-mate-default-settings. Si vous avez Ubuntu GNOME par défaut et installé Ubuntu Unity, ubuntu-settingspackage supprimé .
J'espère que cela vous sera utile dans une certaine mesure.
Je fais référence à starkus ci-dessous - pour cette jolie fenêtre, vous devez installer le paquet gnome-tweak-tools.
sudo apt-get install gnome-tweak-tools
redémarrage sudo
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.