Ubuntu – Edit Gnome-Terminal profile from command line on 18.04

18.04command linedconfgnome-terminalgsettings

I am attempting to edit Gnome-Terminal profiles from the command line using gsettings. In order to use gsettings I need to know the keys and values contained in each profile. My problem is that dconf-editor does not display these. I can use dconf-editor to view everything down to /org/gnome/terminal/legacy/profiles/default. This displays the UUID for the profile but does not display any of the key/value pairs in the profile. How can I access this information so I can edit a profile using gsettings?

Best Answer

In fact dconf-editor does show the keys and values of each profile, in the subdirectories of /org/gnome/terminal/legacy/profiles:/. Their names are UUID's, with a colon prefix. But the default profile only shows up if it's been modified.

screenshot of dconf-editor

If you still want to use the command line, dconf seems like a better choice, since as far as I can tell, gsettings doesn't have access to the individual profile settings, only the default settings for new profiles (not the settings of the default profile). Though on the other hand, dconf doesn't seem to have access to the default settings.

dconf

Get profiles:

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

Get profiles with their names (from Sergiy's answer here):

dconf dump /org/gnome/terminal/legacy/profiles:/ | awk '/\[:/||/visible-name=/'

List all settings:

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

gsettings

Get profiles:

gsettings get org.gnome.Terminal.Legacy.ProfileList list

Get default profile:

gsettings get org.gnome.Terminal.Legacy.ProfileList default

Get settings (I think these are the default settings for new profiles):

gsettings list-recursively org.gnome.Terminal.Legacy.Profile:/