How to save GNOME Terminal profile preferences

Note that this blog is to save the GNOME Terminal profile preferences not the profile itself. Profile preferences save things like window size, transparency, colours, etc. Whereas profile contains keyboard shortcuts, profiles list, encoding scheme.

Getting profile id

To save the profile we will use dconf:

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

If you dont have dconf installed, you can install the same using:

sudo apt-get install dconf

Also, alternative way to do this is using:

dconf dump /org/gnome/terminal/legacy/profiles:/

This prints all the profiles id’s followed by each profile settings. You can pick the required profile id from list printed using above command.

Saving profile to a file

Now use the profile id obtained in above step and replace in the following command:

dconf dump /org/gnome/terminal/legacy/profiles:/:<profile-id>/ > jsbisht.dconf

dconf dump /org/gnome/terminal/legacy/profiles:/:ac7e1942-3f9c-4f4f-b31f-dc12c9234c12a/ > jsbisht.dconf

Loading profile from a file

To load back the profile from the dump file saved earlier, you can use the following command:

dconf load /org/gnome/terminal/legacy/profiles:/:ac7e1942-3f9c-4f4f-b31f-dc12c234c12a/ > jsbisht.dconf