With previous GNOME Terminal releases updating the colour scheme was a breeze. Just 5 lines of code were enough to do the trick.
gconftool-2 -s -t bool /apps/gnome-terminal/profiles/Default/use_theme_background false gconftool-2 -s -t bool /apps/gnome-terminal/profiles/Default/use_theme_colors false gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/background_color '#121212121212' gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/foreground_color '#f1f1ebebebeb' gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/palette '#484848483e3e:#dcdc25256666:#8f8fc0c02929:#d4d4c9c96e6e:#5555bcbccece:#93935858fefe:#5656b7b7a5a5:#acacadada1a1:#8f8f89897272:#ffff26267676:#b9b9fcfc3232:#fffff7f78080:#6b6be9e9ffff:#aeae8282ffff:#6b6bffffe4e4:#eaeaebebdada'
Now, with GNOME Terminal 3.14.2, which uses
dconf, one has to run a script of more than 100 lines (here is a copy) that creates a new profile and does many things I have difficulties understanding.
I am wondering now if there is an analogous to my previous 5-line script for the new GNOME Terminal, and if not, why.
I run the script that takes care of everything, automatically, and I'd like to 'undo' what it has done, but I don't know what that is.
I thought I could select the
Default profile, in
Edit / Preferences / Profiles, but there I could find only the profile created by the script.
So I've created a new one. Does this mean that there was no profile originally, or that the script has overwritten the
This answer is a step-by-step guide about both
dconf and the older
I'm trying to make sense of this big script by running it on a mock user, so that the environment is still pristine.
I've noticed that there is no
And all I can run is
colours@debian:~$ dconf list /org/gnome/terminal/legacy/ schema-version
What's happened to the
Default profile I was previously able to tweak? O.o
OK, some more progress... By unticking the
Use colours from the system theme I get to see a
<profile id>. From there, I can change the background colour by
dconf write, although it is still not clear how one gets the list of all available configurable parameters.
So, it looks like with the newer version of GNOME Terminal the
Default profile is missing. Therefore, one needs first to create a profile in order to be able to modify the default appearance. This behaviour is new, and it created some confusion in my thought line.
The answer to my first question could hypothetically be:
- create a
- apply the
- manually switch to the
Let's see if I fix the point 3. with an automatic profile selection.