Edit Gnome-Terminal profile from command line on 18.04
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.
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:/