For people who want to build their own fixed package: sudo apt-get install build-essential # get compiler etc sudo apt-get build-dep gnome-terminal # get packages needed to build this package mkdir /tmp/build # make some temp dir for build cd /tmp/build # go there apt-get source gnome-terminal # get debian source package (make sure you have source repositories enables) cd gnome-terminal-*/src # go to package-source directory wget http://launchpadlibrarian.net/40476531/terminal-screen.c.patch # get patch patch -p0 < terminal-screen.c.patch # apply the patch cd .. # go to main package directory dpkg-buildpackage # build package
now you can for example: sudo mv /usr/bin/gnome-terminal /usr/bin/gnome-terminal.orig sudo mv /tmp/build/gnome-terminal-*/src/gnome-terminal /usr/bin/gnome-terminal -- wget does not use network proxy in some cases https://bugs.launchpad.net/bugs/232469 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
