Comment réinitialiser les paramètres de police - police et taille réelles - à leurs valeurs par défaut?
(J'ai modifié 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.
Pour réinitialiser la personnalisation des polices gnome à l'aide de System -> Preferences -> Appearance -> Fonts
, utilisez les 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é se terminent par name
(au moins dans les trois premières instances), ce qui est stocké contre eux est la spécification de police complète (comme le nom de famille/police, la taille, le style, etc.).
Comme ces clés sont stockées dans votre répertoire personnel, elles prennent effet dans toutes les installations d'ubuntu partageant la partition personnelle. Le répertoire .gconf de votre répertoire personnel est l'emplacement de stockage de toutes ces informations.
Ainsi, un moyen grossier de réinitialiser les informations de police pourrait consister à 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 de la même catégorie qui n'ont rien à voir avec les propriétés de police. Déplacer tout le fichier signifierait également que les personnalisations de ces fichiers seront perdues. La manière de traiter les touches est d’utiliser gconftool-2 comme mentionné ci-dessus.
gconftool-2
a été remplacé par gsettings
sous Ubuntu 16.04+ et dans d’autres systèmes GNOME.
De nos jours, vous pouvez simplement exécuter les opérations suivantes 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 ça aide.
Copiez et collez gconf-watcher dans un fichier sur votre PC appelé gconf-watcher. Chmod à l'exécutable. Exécutez-le dans Terminal et laissez-le en cours d'exécution.
Modifiez chaque paramètre dans System
→ Preferences
→ Appearance
→ Fonts
name__. Regardez la sortie de gconf-watcher pour savoir où il est stocké dans l’arbre gconf.
Maintenant, installez gconf-editor . Cela ressemble et fonctionne un peu comme l'éditeur de registre Windows. Utilisez-le pour "désélectionner" les valeurs pertinentes. Sachez que "non défini" signifie réellement "réinitialiser" .
En passant, si je puis me permettre, pourquoi voudriez-vous réinitialiser les paramètres?
Pour modifier les paramètres sur Gnome-3 , vous pouvez utiliser gsettings.
Pour réinitialiser toutes les polices pour 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, remplacer "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 utilisables pour GNOME3, il y a une mise en garde: même lorsque vous utilisez le bouton de restauration par défaut de gsettings reset ...
ou de gnome-Tweak-tools, vous risquez de ne pas obtenir les polices par défaut définies par la distribution. Par exemple, Ubuntu (avec Unity DE) est livré avec la police bunt en tant que police d'interface par défaut, mais si vous installez un autre DE par dessus, cela peut modifier les paramètres par défaut.
Les valeurs pour les polices par défaut proviennent en réalité de fichiers gschema situés dans le répertoire /usr/share/glib-2.0/schemas
. Lorsque nous installons un métapaquet d’environnement de bureau, il fournit un fichier de remplacement pour modifier ces valeurs par défaut.
Si cela se produit, vous devez rétablir manuellement la valeur par défaut en écrivant un fichier de substitution gschema personnalisé.
Pour chaque cas, créez un fichier de substitution portant le nom suivant fichier /usr/share/glib-2.0/schemas/99_default_font_settings.gschema.override
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
Chacune des méthodes ci-dessus peut ensuite être utilisée pour rétablir les valeurs par défaut définies par vous.
Sinon, si vous avez installé l'environnement GNOME sur Ubuntu, supprimez le paquet ubuntu-gnome-default-settings
pour récupérer les valeurs par défaut d'ubuntu. Le package de MATE est ubuntu-mate-default-settings
. Si vous avez Ubuntu GNOME par défaut et que vous avez installé ubuntu unity, supprimez le paquet ubuntu-settings
.
J'espère que cela vous sera utile dans une certaine mesure.
Je me réfère à starkus ci-dessous - pour cette jolie fenêtre, vous devez installer le paquet gnome-Tweak-tools.
Sudo apt-get installez gnome-tweak-tools
Sudo redémarrer
Ensuite, vous pouvez définir les polices dans "Schriften" resp. dans "polices".
Après avoir modifié les paramètres de polices, redémarrez à nouveau pour obtenir les résultats sur l'ensemble du système.