This seems to be fixed in GNOME Terminal 2.29.6. Not sure though,
whether that version number would be a "Fix committed" or "Fix
released". Since 2.29.6 is in the release candidate I downloaded today,
I'll mark this as "Fix released".
** Changed in: gnome-terminal (Ubuntu)
Status: Incomplet
Yes, this is reproducible with a fresh new user (I just tried). I went
right to Applications->Accessories->Terminal before doing anything else
with this user profile, and fiddled with the settings. The problem was
present at that point.
In fact, it doesn't seem to matter what I value I set for thi
that was a typo i mean with a new user created on your system.
--
gnome-terminal task bar title text does not heed profile setting
https://bugs.launchpad.net/bugs/514758
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mai
Pedro: What do you mean by a newer user? I'm using the Default profile
in gnome-terminal. Should I switch profile or do you want me to try with
a completely different user on the system?
--
gnome-terminal task bar title text does not heed profile setting
https://bugs.launchpad.net/bugs/514758
You
I cannot reproduce that here, can you reproduce it with a newer user
created on your system? Thanks in advance.
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided => Low
** Changed in: gnome-terminal (Ubuntu)
Status: New => Incomplete
** Changed in: gnome-terminal (Ubuntu)