Bonjour
Le fichier :
~/.config/dconf/user
est une sorte de fichier de base de données dans laquelle on trouvera les différentes modifications
que l’utilisateur a apporté aux paramètres de configuration par défaut des applications.
On peut extraire du fichier ~/.config/dconf/user
les paramètres de gnome-terminal qui ont été modifiés
et leur valeur en lançant la ligne de commande suivante :
dconf dump /org/gnome/terminal/
Les paramètres de configuration modifiables de gnome-terminal
et leur valeur par défaut sont extraits du fichier :
/usr/share/glib-2.0/schemas/org.gnome.Terminal.gschema.xml
Si besoin, voir aussi :
https://wiki.gnome.org/Apps/Terminal/FAQ#How_can_I_change_a_profile_setting_from_the_command_line.3F