In Ubuntu16.04, the default Gnome terminal disables the ability to set terminal title, which is inconvenient.
- Gnome's Terminal (3.18.3) Edit Profile ... The panel looks like this drops,
Fortunately, mate terminal can use it. The use of the method is exceptionally simple and is divided into two steps.
First step, install mate Terminal
sudo Install mate-terminal
The second step, Hack gnome-terminal, supports the default use of Ctrl+alt+t to open mate-terminal
root# CP /usr/bin/gnome-terminal/tmp/gnome- terminal # # # now hack /usr/bin/gnome-terminal to Use # # /usr/bin/mate-terminal # # instead of # # /U Sr/bin/gnome-terminal.real
#root # diff /usr/bin/gnome-terminal/tmp/gnome-terminal69c69 < Self.args.insert (0 , " /usr/ bin/mate-terminal " ) ---> Self.args.insert (0 , " /usr/bin/gnome-terminal.real " )
OK, now you can use the shortcut key ctrl+alt+t to open mate terminal.
- MATE Terminal (1.12.1) Edit profile ... The panel looks like this,
I really don't understand why Gnome has to cancel the use of the title so useful. For questions about how to use commands in Ubuntu16.04 to set up Gnome terminal title, please read
- Ubuntu 16.04-set Terminal Title
Of course, a more thorough approach is to use the Mate desktop environment directly.
sudo Install Mate
It's good to select Mate desktop after reboot.
Use mate Terminal in Ubuntu16.04