I made some custom GNOME-Terminal settings and profiles, and I want to preserve those after reinstalling Ubuntu.
What do I have to save to backup my settings, and how do I reapply them afterwards?
This is not a duplicate of this question, because
- Configuration systems changed since the old question, from gconf to dconf.
- The other question does not explain how to properly backup, and then reapply the settings.
GNOME Terminal
itself doesn't provide such an option, so you have to manually operate on its database.Beginning with version 3.8 it uses
GSettings
, which in turn (at least on Linux systems) usesdconf
. It would probably be more elegant to go with thegsettings
tool. Unfortunately I couldn't figure out how to dump all the relevant data there, let alone restore them. So let's usedconf
.Based on this article, you can dump your settings using:
Reset (wipe out) the settings before loading a new one (probably not really required):
Load the saved settings:
Disclaimer: I haven't tested the restore steps. I recommend that before the reset/load operations you back up your entire dconf database, which is stored in the single file
~/.config/dconf/user
, using a simple standard filesystem copy operation (as opposed to some dconf command). In case of problem you can restore it just as easily (maybe from another terminal emulator or the Linux console).