After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 645207 - --save-config does not save --title
--save-config does not save --title
Status: RESOLVED OBSOLETE
Product: gnome-terminal
Classification: Core
Component: general
git master
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
[obsolete-gsettings]
: 625157 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2011-03-19 08:01 UTC by James Cape
Modified: 2012-05-03 19:14 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description James Cape 2011-03-19 08:01:21 UTC
Originally brought up here:

http://unix.stackexchange.com/questions/9629/how-to-change-title-in-gnome-terminal-profile

The user sounds like there's a couple things going on: the first is likely a simple misconfig (with the Default profile the profile-specified title is wiped out by app[s]). The second is a bug that I've verified:

1. Open a new terminal
2. Create a new profile that saves the profile-set title
3. Run gnome-terminal --profile="New" --title="Wheeee"
4. Run gnome-terminal --save-config=Wheee.txt
5. Examine the contents of the Wheee.txt file, note that the title doesn't show up anywhere in that file.

- JC
Comment 1 Christian Persch 2011-03-19 13:48:33 UTC
*** Bug 625157 has been marked as a duplicate of this bug. ***
Comment 2 Daniel 2011-03-19 23:16:21 UTC
I'll try to fix this.
Fill free to assign this to me.
Comment 3 Christian Persch 2012-05-03 19:14:25 UTC
This bug is obsolete on master because the feature it refers to has been
removed.