Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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
up vote 8 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.

share|improve this answer

Simple. Use:

File->New Profile on your terminal.

See here for further details.

References:

share|improve this answer
1  
The question says not using the menu, but using the command-line instead. – Jonathan Hartley Jan 26 at 18:16
    
okay, guess that didn't help much – Raynal Gobel Jan 27 at 3:51

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.