Gnome Terminal是一个终端仿真器,所有设置都存储在配置文件中,可以通过菜单栏进行设置,同时可以通过命令来执行操作。
sudo apt-get install gnome-terminal
sudo apt-get remove gnome-terminal
http://packages.deepin.com/deepin/pool/main/g/gnome-terminal/