After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 728458 - [3.14] document terminal title setting changes
[3.14] document terminal title setting changes
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: docs
git master
Other Linux
: Normal normal
: ---
Assigned To: Maintainers of Gnome user documentation
GNOME Terminal Maintainers
gnomeasia
Depends on:
Blocks: 732994
 
 
Reported: 2014-04-17 18:54 UTC by Christian Persch
Modified: 2014-09-08 19:35 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Christian Persch 2014-04-17 18:54:24 UTC 
In 3.14 the option to set a default title from the profile prefs has been removed, as well as the option to set a title from the command line. The only supported way to change the terminal title is now through the escape sequences from inside the terminal (OSC 0 or OSC 2).  And since there's no title setting anymore, the 2nd tab in the profile prefs has been renamed to just "Command".
Comment 1 Kat 2014-05-21 08:35:29 UTC 
The page should be removed for now, and the escape sequences can be documented later when we have more time.
Comment 2 Kat 2014-09-08 19:32:13 UTC 
Pushed to master in commit 7dd579a725c402731a584a698c2e057543cfaf17