[Bug 293364] Re: [Intrepid] gnome-terminal --title ignored

2008-11-05 Thread Pedro Villavicencio
well that's the right behavior, if you launch gnome-terminal with --title something that would be the initial title since it's launched with that argument which it's the right behavior, now if you after launched gnome-terminal by clicking on the icon you execute the command without the --title argu

[Bug 293364] Re: [Intrepid] gnome-terminal --title ignored

2008-11-04 Thread Andrew
Looks like I have to re-open this. Now, when I set the profile to "Keep initial title" and then try to change the title using "Terminal>Set Title...", the correct title is in the dialog, but the title of the window/tab is the initial title. So it appears that not even gnome- terminal can change the

[Bug 293364] Re: [Intrepid] gnome-terminal --title ignored

2008-11-04 Thread Andrew
Looks like changing the default profile to set to "Keep initial title" does the trick. I incorrectly assumed that the command-line option of --title would alway take precedence. ** Changed in: gnome-terminal (Ubuntu) Status: Incomplete => Invalid -- [Intrepid] gnome-terminal --title ignor

[Bug 293364] Re: [Intrepid] gnome-terminal --title ignored

2008-11-04 Thread Pedro Villavicencio
thanks for the report, what do you have in "Title and Command -> When terminal commans set their own titles"? ** Changed in: gnome-terminal (Ubuntu) Importance: Undecided => Low Assignee: (unassigned) => Ubuntu Desktop Bugs (desktop-bugs) Status: New => Incomplete -- [Intrepid] gn

[Bug 293364] Re: [Intrepid] gnome-terminal --title ignored

2008-11-03 Thread Andrew
Version is 2.24.1-0ubuntu1 -- [Intrepid] gnome-terminal --title ignored https://bugs.launchpad.net/bugs/293364 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubu