Scott's workaround doesn't work for me; I don't get any output when I run `dconf read /org/gnome/terminal/legacy/profiles:/list`.
I'm reopening this, because I think it will be painful for a _lot_ of Ubuntu users.
Scott's workaround doesn't work for me; I don't get any output when I run `dconf read /org/gnome/ terminal/ legacy/ profiles: /list`.
I'm reopening this, because I think it will be painful for a _lot_ of Ubuntu users.