elementary os terminal

pantheon-terminal 不支持自定义设置

安装gnome-terminal

sudo apt-get install gnome-terminal

安装Elementary Tweaks

ElementaryOS 用户可以通过以下PPA 进行安装：

1. sudo apt-add-repository ppa:versable/elementary-update
2. sudo apt-get update
3. sudo apt-get install elementary-tweaks

安装后，打开[系统设置]里面可以找到tweaks 选项

设置gnome-terminal 快捷键

更改/usr/share/applications/gnome-terminal.desktop 去掉OnlyShowIn=GNOME;Unity;  更改name=Gnome-Terminal