在Ubuntu16.04中,默认的GNOME Terminal禁止了设置Terminal Title的功能,这一点很不方便。
- GNOME的terminal (3.18.3)的Edit Profile ...的面板看起来是这样子滴,
幸好,还有MATE Terminal可以用。 使用方法异常简单,一共分两步。
第一步,安装MATE Terminal
sudo apt-get install mate-terminal
第二步,Hack gnome-terminal,支持默认使用ctrl+alt+t打开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 # # /usr/bin/gnome-terminal.real
# root# diff /usr/bin/gnome-terminal /tmp/gnome-terminal 69c69 < self.args.insert(0, "/usr/bin/mate-terminal") --- > self.args.insert(0, "/usr/bin/gnome-terminal.real")
好了,现在就可以使用快捷键ctrl+alt+t打开MATE terminal了。
- MATE terminal (1.12.1)的 Edit Profile ...的面板看起来是这样的,
实在是搞不懂GNOME为什么要取消设置Title这么好用的功能。 关于如何在Ubuntu16.04中使用命令设置GNOME terminal title的问题,请阅读
当然,更彻底的做法是直接使用MATE桌面环境。
sudo apt-get install mate
重启后选择MATE桌面就好。