Dec 2014
At your own risk.
$ apt-get source gnome-terminal
$ cd gnome-terminal-3.xx.x $ cp $DISTDIR/0001-Restore-transparency.patch debian/patches/ $ echo 0001-Restore-transparency.patch >> debian/patches/series $ cp $DISTDIR/0001-screen-window-Extra-padding-around-transparent-termi.patch debian/patches $ echo 0001-screen-window-Extra-padding-around-transparent-termi.patch >> debian/patches/series $ quilt push debian/patches/0001-Restore-transparency.patch $ quilt push debian/patches/0001-screen-window-Extra-padding-around-transparent-termi.patch
gnome-terminal (3.xx.xt) unstable; urgency=low * Added 0001-Restore-transparency.patch * Added 0001-screen-window-Extra-padding-around-transparent-termi.patch -- Your NAME <youremail@domain> Thu, 18 Dec 2014 15:11:53 +0900
$ dpkg-buildpackage -us -uc
$ cd .. $ dpkg -i gnome-terminal_3.*_amd64.deb gnome-terminal-data_3.*_all.deb