desktop-packages team mailing list archive

[Egmont Koblinger <egmont@xxxxxxxxx>]

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 notification because you are a member of Desktop
Packages, 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

Status in GNOME Terminal:
  Unknown
Status in gnome-terminal package in Ubuntu:
  Confirmed

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)

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