← Back to team overview

desktop-packages team mailing list archive

[Bug 1440413] [NEW] gnome-terminal --save-config does not save tab titles

 

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


Follow ups

References