[Bug 232469] Re: wget does not use network proxy in some cases

[Michal]

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 Mozilla
Bugs, which is subscribed to flashplugin-nonfree in ubuntu.