Sauvegarde GNOME-Terminal
J'ai créé des paramètres et des profils GNOME-Terminal personnalisés, et je souhaite les conserver après la réinstallation d'Ubuntu.
Que dois-je sauvegarder pour sauvegarder mes paramètres et comment puis-je les réappliquer par la suite?
Ce n'est pas un doublon de cette question , car
- Les systèmes de configuration ont changé depuis l'ancienne question, de gconf à dconf.
- L'autre question n'explique pas comment sauvegarder correctement, puis réappliquer les paramètres.
GNOME Terminal lui-même ne fournit pas une telle option, vous devez donc opérer manuellement sur sa base de données.
À partir de la version 3.8, il utilise GSettings, qui à son tour (du moins sur les systèmes Linux) utilise dconf. Il serait probablement plus élégant d’utiliser l’outil gsettings. Malheureusement, je ne savais pas comment y déposer toutes les données pertinentes, sans parler de les restaurer. Donc, utilisons dconf.
Basé sur cet article , vous pouvez sauvegarder vos paramètres en utilisant:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Réinitialisez (effacez) les paramètres avant d'en charger un nouveau (probablement pas vraiment nécessaire):
dconf reset -f /org/gnome/terminal/
Chargez les paramètres enregistrés:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
Avertissement: je n'ai pas testé les étapes de restauration. Avant de procéder aux opérations de réinitialisation/chargement, je vous recommande de sauvegarder l'intégralité de votre base de données dconf, qui est stockée dans le fichier unique ~/.config/dconf/user, à l'aide d'une simple opération de copie de système de fichiers standard (par opposition à une commande dconf). En cas de problème, vous pouvez le restaurer tout aussi facilement (peut-être à partir d'un autre émulateur de terminal ou de la console Linux).