desktop-packages team mailing list archive

[TomaszChmielewski <1511245@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

After upgrading from 12.04 to 14.04 or later, it's no longer possible to
rename terminal tabs (as a result of unfortunate changes in upstream
gnome-terminal).

This feature is extremely useful for people working with terminals
(sysadmins, programmers...).


Upstream developer recommends changing names by using escape sequences, which is complicated and unintuitive (and does not always work, i.e. with remote sessions).

https://bugzilla.gnome.org/show_bug.cgi?id=720693

** Affects: gnome-terminal (Ubuntu)
     Importance: Undecided
         Status: New

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1511245

Title:
  unable to rename tabs in gnome-terminal

Status in gnome-terminal package in Ubuntu:
  New

Bug description:
  After upgrading from 12.04 to 14.04 or later, it's no longer possible
  to rename terminal tabs (as a result of unfortunate changes in
  upstream gnome-terminal).

  This feature is extremely useful for people working with terminals
  (sysadmins, programmers...).

  
  Upstream developer recommends changing names by using escape sequences, which is complicated and unintuitive (and does not always work, i.e. with remote sessions).

  https://bugzilla.gnome.org/show_bug.cgi?id=720693

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1511245/+subscriptions