Featured image of post Configurer les paramètres systèmes de Gnome et d'autres applications

Configurer les paramètres systèmes de Gnome et d'autres applications

Plusieurs options de Gnome et plus généralement d’Ubuntu ne sont pas modifiables directement depuis l’interface utilisateur. Pour configurer son système, il faut parfois utiliser gconf-editor, et depuis Ubuntu 11.04 (Natty) l’utilitaire dconf-editor destiné à remplacer le précédent.

Avant Ubuntu 11.04, gconf-editor

Avant de l’utiliser, il faut l’installer :

sudo apt-get install gconf-editor

Puis il suffit de le lancer en cherchant "Éditeur de configuration" ou en tapant simplement dans un terminal :

Avant de l’utiliser, il faut l’installer :

sudo gconf-editor

Copie d’écran de gconf-editor

La fenêtre qui s’ouvre est alors assez simple à utiliser. À gauche, une arborescence permet de naviguer dans la hiérarchie de la base de données. À droite la liste des clés avec leurs valeurs en face. Il suffit de cliquer sur une valeur pour la modifier et d’appuyer sur entrée pour valider les changements.

Depuis Ubuntu 11.04, dconf-editor

Un nouvel utilitaire vient remplacer le précédent depuis 2011. Pour l’installer, il faut taper la commande :

sudo apt-get install dconf-tools

Et le lancer en tapant :

sudo dconf-editor

Celui-ci fonctionne de la même façon que le précédent, mais il est mieux conçu en interne et à terme remplacera complètement gconf-editor

Copie d’écran de gconf-editor

Lequel utiliser ?

En général, si vous avez un système récent, le 2^e^. Si cela ne fonctionne pas, il faudra utiliser gconf-editor.

Source Ask Ubuntu

Généré avec Hugo
Thème Stack conçu par Jimmy