Les profils de gnome-terminal ne sont pas chargés
Mon terminal s'est écrasé récemment. Après le crash, le seul profil de terminal chargé est unnamed. J'ai un profil par défaut sur
/home/xxxx/.gconf/apps/gnome-terminal/profiles/Default
Il est également reconnu par gconf-editor, mais il n'est pas reconnu par gnome-terminal ou par les options de menu de l'application. Comment faire en sorte que le terminal reconnaisse mon profil par défaut?
Les paramètres du terminal Gnome, y compris les profils, sont maintenant stockés dans dconf au lieu de gconf. Alors que gconf utilisait des fichiers XML lisibles par l'homme pour stocker des données pouvant être directement modifiées, les paramètres de dconf devaient être modifiés via une interface.
Pour les éditer dans une interface graphique, installez d’abord dconf-tools (Sudo apt-get install dconf-tools), puis exécutez la commande dconf-editor, puis accédez à
org > gnome > terminal > legacy > profiles:
Vous y trouverez tous vos profils, mais notez que la clé de réglage semble être UUID et que le nom du profil se trouve dans la touche visible-name ci-dessous.
Vous pouvez lister vos profils en utilisant la commande:
dconf dump /org/gnome/terminal/legacy/profiles:/ | grep -e "\[\:\|visible-name"
Et vous pouvez vider ou charger un profil à partir de la ligne de commande en utilisant les éléments suivants:
dconf dump /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ > profile.dconf
dconf load /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ < profile.dconf