Originally from sasha-x, a patch to add PuTTY-like copy on select and right-click paste to Gnome Terminal in Ubuntu. Use ctrl+right-click to bring up the original Gnome Terminal context menu. I built the patched version on 64-bit Ubunty eoan 19.10, Gnome Terminal 3.34.2.
- Install build dependencies
sudo apt-get build-dep gnome-terminal
- Download the sources and apply the patch
mkdir gnome-terminal
cd gnome-terminal
apt source gnome-terminal
cd gnome-terminal-3.34.2
wget https://raw.githubusercontent.com/yar999/gnome-terminal-patch/master/gnome-terminal-3.34.2.patch
patch -p0 < gnome-terminal-3.34.2.patch
- Build
dpkg-buildpackage -us -uc -b
- Install
cd ..
sudo dpkg -i *.deb