Public bug reported:
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-config='config1.cfg'
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
WorkingDirectory=/home/hakon/
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-config='config2.cfg'
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
WorkingDirectory=/home/hakon/
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://no.archive.ubuntu.com/ubuntu/ trusty/main amd64 Packages
100 /var/lib/dpkg/status
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1440413
Title:
gnome-terminal --save-config does not save tab titles
Status in gnome-terminal package in Ubuntu:
New
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-config='config1.cfg'
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
WorkingDirectory=/home/hakon/
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-config='config2.cfg'
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
WorkingDirectory=/home/hakon/
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://no.archive.ubuntu.com/ubuntu/ trusty/main amd64 Packages
100 /var/lib/dpkg/status
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1440413/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
