Hello, 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). Rgs, Mark _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
