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 enregistrer pour sauvegarder mes paramètres et comment les réappliquer ensuite?
Ce n'est pas un double de cette question , car
- Les systèmes de configuration ont changé depuis l'ancienne question, passant de gconf à dconf.
- L'autre question n'explique pas comment sauvegarder correctement, puis réappliquer les paramètres.
gnome
backup
gnome-terminal
red_trumpet
la source
la source
~/.gconf/apps/gnome-terminal/
.Réponses:
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 qu'il utilise
GSettings
, qui à son tour (au moins sur les systèmes Linux) utilisedconf
. Il serait probablement plus élégant d’aller avec l’gsettings
outil. Malheureusement, je n'ai pas pu comprendre comment vider toutes les données pertinentes là-bas, et encore moins les restaurer. Alors utilisons-ledconf
.Sur la base de cet article , vous pouvez vider vos paramètres en utilisant:
Réinitialisez (effacez) les paramètres avant d'en charger un nouveau (probablement pas vraiment nécessaire):
Chargez les paramètres enregistrés:
Avertissement: je n'ai pas testé les étapes de restauration. Je recommande qu'avant les opérations de réinitialisation / chargement, vous sauvegardiez 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 du système de fichiers (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).la source
~/.config/dconf/user
? Est-ce seulement une question de taille 10 fois?dump
sortie, oui, un peu plus intéressant, je vais aussi coller à celui - ci , après tout :)