gnome-terminal profiles are not being loaded

My terminal crashed recently. After the crash, the only terminal profile that is loaded is unnamed. I have a Default profile at

/home/xxxx/.gconf/apps/gnome-terminal/profiles/Default

It is also recognized by gconf-editor, but, it is not being recognized by gnome-terminal or the menu options in the app. How do I get the terminal to recognize my Default profile?

Gnome terminal settings, including profiles, are now stored in dconf instead of gconf. While gconf used human-readable XML files to store data which could be directly edited, dconf settings need to be edited via an interface.

To edit them in a GUI, first install dconf-tools (sudo apt-get install dconf-tools), then run the command dconf-editor, and navigate to

org > gnome > terminal > legacy > profiles:

You'll find all your profiles there, though note that the setting key seems to be a UUID and the profile name is in the visible-name key below.

You can list your profiles using the command:

dconf dump /org/gnome/terminal/legacy/profiles:/ | grep -e "\[\:\|visible-name"

And you can dump or load a profile from the command line using the following:

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