Of the distributions of Linux I have used (Red Hat, Ubuntu, CentOS, others) which utilize gnome-termial you are able to set different terminal profiles via a drop down menu located in the terminal window, directly above where commands are entered. These profiles allow for the changing of fonts and colors of different files etc..

Where are these different profiles for the terminal stored?

share|improve this question

On my Ubuntu 16.04,

  • open dconf editor (as the user)
  • org > gnome > terminal > legacy > profiles > ...

Hope this helps.

share|improve this answer

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.

share|improve this answer
    
Thank you for the comment. GTK version will affect gtk-2.0 and gtk-3.0 directory configuration though. I was talking in general and not just gnome-terminal. – Digisec Jan 7 '16 at 19:58

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.