Wont work also. Im sure this shouldn't be the wanted behaviour?
For your alias solution, I'm sure it will work, but I think this should work out of the box. Its the same issue for the apt-get problem reported in another bug. And maybe even more bugs, but not sure about that.
ow, as extra information, the following will also not work:
sudo -s ???.??? .???.?? ?:8080 whatever. url.something
export http_proxy=http://
sudo wget http://
Wont work also. Im sure this shouldn't be the wanted behaviour?
For your alias solution, I'm sure it will work, but I think this should work out of the box. Its the same issue for the apt-get problem reported in another bug. And maybe even more bugs, but not sure about that.