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
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
ProcVersionSign
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)
no longer affects: | gnome-terminal |
Changed in gnome-terminal: | |
importance: | Unknown → Medium |
status: | Unknown → Invalid |
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 |
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.
Status changed to 'Confirmed' because the bug affects multiple users.