Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

As everybody knows you can create a new profile by the menu where you get asked which existing profile should be the parent for your new profile and so on. But how should I create a new profile by the command line?

Should I read every existing value from the default profile via gconftool and set them again under a new name or is there any better solution? If the answer is yes: Do I have to pay attention for the new profile name? The new ones are always called Profile0, Profile1, Profile2 etc.

share|improve this question

1 Answer 1

up vote 4 down vote accepted

You can not create a new profile, but you can dump your current configuration, using gconftool-2, modify it and load it.

gconftool-2 --dump '/apps/gnome-terminal' > gnome-terminal-conf.xml
## Modify the file here.
gconftool-2 --load gnome-terminal-conf.xml

Remember that it only returns the non-default values (or what gconf detects as non-default) so, the resultant file could not be complete.


Obsolete

According to the manual there is no way to create a new profile from the command line, but what you can do is saving a profile, modify the file and open the gnome terminal with the file you just created.

gnome-terminal --save-config=terminal.conf
## DO YOUR MODIFICATIONS HERE, it could be a replacing, etc?
gnome-terminal --load-config=terminal.conf

You should read the resultant file, since it's huge and covers all the possible options you have.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.