Ubuntu 18.10 how to rename current terminal Tab title
41576
How do you set the title of the active gnome-terminal from the command line?
99799
How can I change the prompt of the terminal permanently
35107
How to set custom keyboard shortcuts from terminal?
89639
How do I modify my PATH so that the changes are available in every Terminal session
45215
Can we get notification in the tab (change of title)?
125505
How to change the tab name in SharePoint
93373
How to change android tab text on the fly?
80675
Merge split terminal tab back into one terminal
49480
How can I get bash to perform tab-completion for my aliases?
93317
How to add an alias to a command in terminal?
93680
how to let tab display only file name rather than the full path in vim
40434
Switching to a particular tab in VIM
77345
Close current tab firefox using terminal
94547
Find package name using terminal
34880
Change name of Virtual Desktop in Windows 10
149108
How do I choose what shows up in PuTTY title bar from Linux?
153071
Desktop shortcut for terminal command