实现类似putty的鼠标粘贴功能的Gnome-terminal补丁

翻译自Tomi Valkeinen的主页,原文地址如下:

http://taika.org/~tomba/gnome-terminal/index.html

-------------------------------------翻译的分割线--------------------------------------------------

各UNIX平台的terminal中,使用鼠标中键来复制选定的内容已经成为了"标准".滚轮虽可以当作中间来使用,但体验并不让人感到满意.因此原作者制作了补丁来让gnome-terminal中的鼠标右键提供粘贴功能.

补丁下载地址:

http://taika.org/~tomba/gnome-terminal/right-button-paste.patch

使用:

1.安装依赖

sudo apt-get build-dep gnome-terminal



2.下载补丁并使用补丁(注意修改path为补丁文件所在路径)

mkdir gnome-terminal
cd gnome-terminal
apt-get source gnome-terminal
cd gnome-terminal-3.6.2
patch -p1 < path/right-button-paste.patch

3.Build

dpkg-buildpackage -us -uc -b

4.安装

cd ..
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_amd64.deb.deb