apt-get build-dep gnome-terminal apt-get source gnome-terminal wget -c https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/526437/+attachment/1285690/+files/save-contents-keyentry.patch cd gnome-terminal-2.29.6/ cp ../save-contents-keyentry.patch debian/patches/30_save_contents_keyentry.patch dpkg-buildpackage -b
Oder warten Sie etwas, und es wird in meinem PPA eingebaut