Bug exists in Ubuntu 15.10 final.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1448511
Title:
Unable to set gnome-terminal title from menu in Vivid Vervet
To manage notif
This is indeed disappointing.
At work I often have 10 tabs open and need to navigate between them. It used to
be really good, now it's bad.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launch
This is disappointing - I used that feature all the time in order to set
the title of terminal windows that weren't configurable from .bashrc -
eg, when starting a local server, or when sshing into a remote server,
when monitoring realtime logs. I often have several windows open at
once, and settin
Seems that the GNOME developers choose to remove this feature on
purpose.
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: gnome-terminal (Ubuntu)
Status: Confirmed => Won't Fix
--
You received this bug notification because you are a member of Ub
** Changed in: gnome-terminal
Status: Unknown => Invalid
** Changed in: gnome-terminal
Importance: Unknown => Medium
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1
Gnome-terminal indeed removed this feature from the UI. You can still
set the title via escape sequences. E.g. define this function in your
.bashrc:
title () {
echo -n $'\e]0;'"$@"$'\a'
}
and then change the title with the command:
$ title This is my new title
--
You received this bug notifi
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launch
** No longer affects: gnome-terminal
** Bug watch added: GNOME Bug Tracker #720693
https://bugzilla.gnome.org/show_bug.cgi?id=720693
** Also affects: gnome-terminal via
https://bugzilla.gnome.org/show_bug.cgi?id=720693
Importance: Unknown
Status: Unknown
--
You received this bug
** Bug watch added: GNOME Bug Tracker #748466
https://bugzilla.gnome.org/show_bug.cgi?id=748466
** Also affects: gnome-terminal via
https://bugzilla.gnome.org/show_bug.cgi?id=748466
Importance: Unknown
Status: Unknown
--
You received this bug notification because you are a member
