Re: Where are the gnome terminal profiles kept ?

On Tue, Oct 27, 2009 at 08:34:19PM +0200, Mark Ryden wrote:
I am using gnome desktop. I want to know where are the gnome
terminal profiles setting kept ? I am
talking about setting like font sizes, Scroll back lines, colors,
titles, etc, of the profiles which are accessible via Edit->Profiles
Preferences in the gnome-terminal.
The reason for this is that when I am installing a new Linux on a
machine, I want to be able to define these profiles immediately
by copying some configuration file (and not by opening menus one by one).

In a terminal:
gconftool-2 --dump /apps/gnome-terminal > somefile

then (IIRC):
gconftool-2 --load < somefile

see gconftool-2 --help-load

Maybe gconf-editor can do above as well. Hmm, seems it cannot.

--
Regards,
Olav
_______________________________________________
gnome-list mailing list
gnome-list@xxxxxxxxx
http://mail.gnome.org/mailman/listinfo/gnome-list

Relevant Pages

  • Re: Where are the gnome terminal profiles kept ?
    ... terminal profiles setting kept? ... talking about setting like font sizes, Scroll back lines, colors, ... titles, etc, of  the profiles which are accessible via Edit->Profiles ...
    (GNOME)
  • Where are the gnome terminal profiles kept ?
    ... I am using gnome desktop. ... terminal profiles setting kept? ... talking about setting like font sizes, Scroll back lines, colors, ... titles, etc, of the profiles which are accessible via Edit->Profiles ...
    (GNOME)