Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. It only takes a minute to sign up.
Sign up to join this community
I have used (Red Hat, Ubuntu, CentOS, others). These distributions utilize Gnome-terminal, and provide flexible ways to set up different terminal profiles via a drop down menu located in the terminal window, directly above where commands are, usually, entered. These profiles allow making changes to the font and color properties of different files etc..
Where are these different profiles for the terminal stored?
On my Ubuntu 16.04,
gsettings set), any way to do this?
Well, you've just cited three distributions that use at least two different Gnome versions. This is important because of the move from Gnome 2 to Gnome 3 which moved from GTK 2 to GTK 3 and mixed things a little.
To get to his topic, generally, all your configuration for your user are in $HOME somewhere. First you need to look in $HOME itself and then try .config and .gconf as both suggest a configuration directory.
That being said and with a simple google search I found that it might be in ~/.gconf/apps/gnome-terminal/profiles but your milage may vary.
GTK version will affect gtk-2.0 and gtk-3.0 directory configuration though. I was talking in general and not just gnome-terminal.