Re: Where are the gnome terminal profiles kept ?

[Mark Ryden <markryde gmail com>]

Thanks!
It is actually:
gconftool-2 --load  somefile

Rgs,
Mark



On Tue, Oct 27, 2009 at 10:38 PM, Olav Vitters <olav bkor dhs org> wrote:
> 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
>