我发现了Tomi Valkeinen的此补丁:类似于腻子的鼠标右键粘贴的Gnome终端补丁
让我们知道它是否适合您。
编辑:我继续自己检查。它运作完美。以下是gnome-terminal-3.6.2的已修补deb文件:在mediafire中上传
如果使用的是相同版本的gnome-terminal,则可以下载deb文件并通过以下方式安装:
cd /path/to/download/folder
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_amd64.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
编辑:为了将来参考,这里是完整的过程:
下载补丁:right-button-paste.patch
安装构建依赖项:
sudo apt-get build-dep gnome-terminal
下载源代码并应用补丁:
mkdir gnome-terminal
cd gnome-terminal
sudo apt-get source gnome-terminal
cd gnome-terminal-*
patch -p1 < path/to/right-button-paste.patch
构建并安装:
sudo dpkg-buildpackage -us -uc -b
cd ..
dpkg -i *.deb
Tomi Valkeinen在https://github.com/tomba/gnome-terminal的 “ paste- *”分支下维护了最新补丁。