Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

If I do this

gnome-terminal --profile=NEW_PROFILE

it indeed changes to the new profile but opens a new window. But I want it to change the profile of the current tab and not pop up a new window.

If I go through GUI, as suggested in gnome documentation

  1. Click on the tab of the tabbed terminal for which you want to change the profile.

  2. Choose Terminal ▸ Change Profile ▸ profilename.

it works perfectly fine.

Just wondering how come there is no command line equivalent for this.

share|improve this question
    
Because say so. –  Ignacio Vazquez-Abrams Mar 26 '12 at 7:16
    
@IgnacioVazquez-Abrams What? I dint get you. –  PavanM Mar 26 '12 at 7:18
    
There's no command line equivalent because they didn't put one in. –  Ignacio Vazquez-Abrams Mar 26 '12 at 7:20
    
Are there any workarounds/alternatives? Like, are profiles stored somewhere as default.profile, NEW_PROFILE.profile so that we can change them?? –  PavanM Mar 26 '12 at 7:24

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.