gnome-terminal --save-config does not save tab titles
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
I am trying to save the current gnome-terminal configuration, such
that I can later restore it. However, there seems to be a problem when
saving Terminal windows with tabs.
For example, running:
$ gnome-terminal --tab -t "MyTabTitle"
$ gnome-terminal --save-
Saves the title of the tab correctly to the file 'config1.cfg'.
Here is the relevant part of 'config1.cfg':
[Terminal0x325a350]
ProfileID=Default
Title=MyTabTitle
WorkingDirector
Zoom=1
Width=80
Height=24
On the other hand, running
$ gnome-terminal
and the pressing Ctrl+Shift+T to open a new tab, and then
right-clicking the tab header bar and choosing "Set Title.." from the
dropdown menu and typing "MySecondTabTitle" to set the tab title
manually.
Then from the same terminal running:
$ gnome-terminal --save-
saves the configuration to file 'config2.cfg', but the title
"MySecondTabTitle" is not saved to the file. Here is the relevant
section from 'config2.cfg':
[Terminal0x3216350]
ProfileID=Default
WorkingDirector
Zoom=1
Width=159
Height=42
-------
My problem is that I cannot use the first approach above (specifying
tab name on the command line) since I usually do not know what the
tab names would be at this point. The tab names are instead created
dynamically during my work session.
And, at the end of my work session I would like to save my configuration
using 'gnome-terminal --save-config'.. so I need that command to save
the tab titles to the config file..
$ lsb_release -rd
Description: Ubuntu 14.04.2 LTS
Release: 14.04
$ apt-cache policy gnome-terminal
gnome-terminal:
Installed: 3.6.2-0ubuntu1
Candidate: 3.6.2-0ubuntu1
Version table:
*** 3.6.2-0ubuntu1 0
500 http://
100 /var/lib/