Can no longer set terminal title in Ubuntu 16 (gnome-terminal)
40759
How to change Terminal Title in ubuntu 16.04
120756
Why does gnome-terminal $TERM display xterm
27737
GNOME 3.14+ launch new gnome-terminal and set title
116246
How to change the display name on the Terminal?
64966
How can I set default terminal used in Unity?
155847
How can I launch gnome-terminal with unique titles for multiple tabs?
104376
How do I get back my suspend option in Gnome Shell?
35107
How to set custom keyboard shortcuts from terminal?
15769
Terminal has lost its colours
73114
How to rename a file in Terminal?
28010
Terminal error (some typo somewhere?) with .bashrc disables all aliases etc
36213
Can't apply brightness to terminal's background color
75478
Cannot open gnome-terminal from Unity launcher or from side panel shortcut
41576
How do you set the title of the active gnome-terminal from the command line?
149108
How do I choose what shows up in PuTTY title bar from Linux?
133710
Terminal: prefix previous command?
70279
Changing colour of text and background of terminal?