Merci
mes profiles sont bien dans ~/.config/dconf/user ! alors qu’ils devraient être dans
/home/user/.gconf/apps/gnome-terminal/profiles/
Merci pour cette proposition. Mais mes anciens profiles (de la Wheezy) ont déjà été installés à cet endroit et ne sont pas chargés par Gnome !
Voir ma réponse à xddj. Mes réponses se sont mélangées …
Regarde si tu n’as pas un répertoire gconf dans etc
Oui il y en a un
ls -alt
drwxr-xr-x 2 root root 4096 oct. 6 09:36 2
drwxr-xr-x 2 root root 4096 oct. 28 16:05 gconf.xml.defaults
drwxr-xr-x 2 root root 4096 oct. 28 16:05 gconf.xml.mandatory
Bon ba voilà, ça doit être ça que tu cherches.
Non, ils sont (presque) vides
Oui exact, je viens de regarder sur mon système et je les ai aussi
edit: Sinon tu peux aussi essayer le logiciel gconf-editor
Il faut comprendre pourquoi mes profiles sont dans ~/.config/dconf/user et pas là où ils devraient être.
gconf-editor par contre accède aux anciens profiles stockés dans
~/.gconf/apps/gnome-terminal/profiles/
contrairement à ce que laisse entendre son nom gconf-editor ne permet pas d’éditer, seulement de voir.
Parce que depuis sa version 3, Gnome utilise une nouvelle méthode de stockage et d’accès à ces paramètres
qui ne sont plus stockés dans des fichiers .xml
mais dans le fichier :
~/.config/dconf/user
Depuis la version 3 de Gnome, gconf et ses différents outils sont devenus obsolètes,
car c’est maintenant gsettings, dconf et ses outils qui doivent être utilisés.
Si tu as besoin d’une interface graphique pour modifier ces paramètres,
tu peux installer dconf-editor
Merci.
Tout s’explique.