Thanks! It is actually: gconftool-2 --load somefile Rgs, Mark On Tue, Oct 27, 2009 at 10:38 PM, Olav Vitters <olav@xxxxxxxxxxxx> 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 > _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
