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 567158 - Tab names can't always be set via --title
Tab names can't always be set via --title
Status: RESOLVED OBSOLETE
Product: gnome-terminal
Classification: Core
Component: general
2.24.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
: 597128 (view as bug list)
Depends on: 567966
Blocks:
 
 
Reported: 2009-01-09 13:37 UTC by Pedro Villavicencio
Modified: 2014-04-27 08:41 UTC
See Also:
GNOME target: ---
GNOME version: 2.23/2.24


Attachments
.bashrc (3.04 KB, text/plain)
2009-01-09 16:55 UTC, Bryce Harrington
Details

Description Pedro Villavicencio 2009-01-09 13:37:55 UTC
this report has been filed here:

https://bugs.edge.launchpad.net/ubuntu/+source/gnome-terminal/+bug/315301

"If I run gnome-terminal like this:

 cp ~/.bashrc ~/.bashrc-orig
 cp /etc/skel/.bashrc ~
 gnome-terminal --active --title "Default" --tab --title "Bash" -e "bash" --tab --title "Emacs" -e "emacs" --tab --title "NoRC" -e "bash --norc"

The third and fourth tabs show up named correctly, "Emacs" and "NoRC".

If I append "unset PS1" to the end of the .bashrc, it makes all the tabs show up properly. Of course, then I only get the default command line prompts in the session.

The expected behavior (IMHO) is that if --title is explicitly set on the command line, then it should be used preferentially to the prompt.

My use case is I start up gnome-terminal from ~/.xsession pre-seeded with multiple tabs each running a different command, and I like to name each tab to differentiate them."

Thanks,
Comment 1 Christian Persch 2009-01-09 15:55:41 UTC
What's the title mode setting in the profile preferences for the default profile ?
Comment 2 Bryce Harrington 2009-01-09 16:55:38 UTC
Created attachment 126122 [details]
.bashrc
Comment 3 Christian Persch 2009-01-09 17:12:36 UTC
Gnome-terminal's profile preferences, not the .bashrc/.profile .
Comment 4 Simon van der Linden 2009-01-16 13:26:45 UTC
The problem I see is that if we set the title with the --title option and the title mode is "replace" (which I guess is the one the reporter uses), the user-defined title is replaced with a dynamic title as soon as an app sets one. That makes the --title option almost useless in that case.

I think the title defined with the CLI option shouldn't be replaced if the mode is "replace".
Comment 5 Mariano Suárez-Alvarez 2009-02-09 00:06:50 UTC
But the whole point of the "replace" mode is that the title gets replaced by the dynamic title... What else will "replace" replace if not the original title?

If the user needs the original title to stay there even if the app running in the terminal sets a new one, then "replace" should not be used.
Comment 6 Simon van der Linden 2009-02-09 00:28:46 UTC
No, my point was that once the user has defined a title (either with --title or the dialog), that title shouldn't be replaced (and in fact would only be replaced if the mode is "replace").
Comment 7 Christian Persch 2012-12-16 13:50:44 UTC
*** Bug 597128 has been marked as a duplicate of this bug. ***
Comment 8 Christian Persch 2014-04-27 08:41:22 UTC
Obsolete. Use escape sequences to set the title.