Unable to set gnome-terminal title from menu in 15.04, 15.10, 16.04 LTS, 16.10, 17.04, 17.10

Bug #1448511 reported by Norbert
24
This bug affects 5 people
Affects Status Importance Assigned to Milestone
GNOME Terminal
Invalid
Medium
gnome-terminal (Ubuntu)
Won't Fix
Wishlist
Unassigned

Bug Description

In Ubuntu Precise Pangolin 12.04 was an option "Terminal -> Set Title" for setting terminal title.

In Ubuntu Vivid Vervet 15.04 it is missed.

ProblemType: Bug
DistroRelease: Ubuntu 15.04
Package: gnome-terminal 3.14.2-0ubuntu3
ProcVersionSignature: Ubuntu 3.19.0-15.15-generic 3.19.3
Uname: Linux 3.19.0-15-generic i686
ApportVersion: 2.17.2-0ubuntu1
Architecture: i386
CurrentDesktop: Unity
Date: Sat Apr 25 21:04:46 2015
InstallationDate: Installed on 2015-04-25 (0 days ago)
InstallationMedia: Ubuntu 15.04 "Vivid Vervet" - Release i386 (20150422)
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)

Revision history for this message
Norbert (nrbrtx) wrote :
Norbert (nrbrtx)
no longer affects: gnome-terminal
Revision history for this message
Launchpad Janitor (janitor) wrote :

Status changed to 'Confirmed' because the bug affects multiple users.

Changed in gnome-terminal (Ubuntu):
status: New → Confirmed
Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

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

Changed in gnome-terminal:
importance: Unknown → Medium
status: Unknown → Invalid
Revision history for this message
Alberto Salvia Novella (es20490446e) wrote :

Seems that the GNOME developers choose to remove this feature on purpose.

Changed in gnome-terminal (Ubuntu):
importance: Undecided → Wishlist
status: Confirmed → Won't Fix
Revision history for this message
CarlaD (carladrago) wrote :

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 setting a custom title in the tab was the only way I could easily identify what process the window was an interface to.

Revision history for this message
Magnus (koma-lysator) wrote :

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.

Revision history for this message
Norbert (nrbrtx) wrote :

Bug exists in Ubuntu 15.10 final.

Norbert (nrbrtx)
summary: - Unable to set gnome-terminal title from menu in Vivid Vervet
+ Unable to set gnome-terminal title from menu in Vivid and Wily
tags: added: wily
Revision history for this message
Norbert (nrbrtx) wrote : Re: Unable to set gnome-terminal title from menu in Vivid, Wily and Xenial

Bug exists in 16.04.

summary: - Unable to set gnome-terminal title from menu in Vivid and Wily
+ Unable to set gnome-terminal title from menu in Vivid, Wily and Xenial
tags: added: xenial
removed: i386
Revision history for this message
Norbert (nrbrtx) wrote : Re: Unable to set gnome-terminal title from menu in 15.04, 15.10, 16.04 LTS, 16.10

Bug exists in 16.04.

summary: - Unable to set gnome-terminal title from menu in Vivid, Wily and Xenial
+ Unable to set gnome-terminal title from menu in 15.04, 15.10, 16.04 LTS,
+ 16.10
tags: added: yakkety
Revision history for this message
Norbert (nrbrtx) wrote :

Bug exists in 16.10.

Norbert (nrbrtx)
summary: Unable to set gnome-terminal title from menu in 15.04, 15.10, 16.04 LTS,
- 16.10
+ 16.10, 17.04, 17.10
tags: added: artful zesty
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.