How to change the profile of current tab in gnome from command line

3

2

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.

Pavan Manjunath

Posted 2012-03-26T07:13:15.730

Reputation: 297

Because say so. – Ignacio Vazquez-Abrams – 2012-03-26T07:16:25.153

@IgnacioVazquez-Abrams What? I dint get you. – Pavan Manjunath – 2012-03-26T07:18:23.213

There's no command line equivalent because they didn't put one in. – Ignacio Vazquez-Abrams – 2012-03-26T07:20:43.213

Are there any workarounds/alternatives? Like, are profiles stored somewhere as default.profile, NEW_PROFILE.profile so that we can change them?? – Pavan Manjunath – 2012-03-26T07:24:17.620

No answers

Asked: 2012-03-26T07:13:15.730

Viewed: 1 410 times

Active: 2012-03-26T07:13:15.730