Editing gnome-terminal Profiles

[Kent Eschenberg <eschenbe psc edu>]

Hi Yall,

Using Gnome 2.4 on Redhat Fedora Core 1, I'd like to create several 
gnome-terminal profiles directly. I've updated the master list of profiles 
in

  ~/.gconf/apps/gnome-terminal/global/%gconf.xml

and then created a new directory for each new profile under

  ~/.gconf/apps/gnome-terminal/profiles

I copied the %gconf.xml file from the Default profile to each new profile 
and then made changes in the new.

The changes didn't seem to take effect so I logged out and then back in. 
Now, Terminal->Profiles shows a longer list but all the new ones are named 
<not named>. Edit->Profiles is the same.

1) When does Gnome and gnome-terminal look at the profile files?

2) In most new profiles, the file %gconf.xml is empty while the new profile 
was moved to %gconf.xml.bak. Why?

3) I've editing the profiles to break long lines into ones that end after a 
tag. In some cases, I'll add spaces in front of a line to give it some 
visible structure. Is the part of Gnome or gnome-terminal that reads these 
xml files workiing right? They should ignore whitespace and newlines. If 
not, this could be part of the problem.

This sort of information is probably in a manual. However, www.gnome.org 
doesn't seem to have any documentation. The "Users" button on their home 
page doesn't work. Is there a manual somewhere that goes into this sort of 
detail?

Thanks in advance for any advice.
Kent
- - -
Kent Eschenberg   eschenbe psc edu   (412)268-6829
Scientific Visualization Specialist
Pittsburgh Supercomputing Center

Why did the chicken cross the mobius strip?