Comment 8 for bug 534225

Henning Moll (drscott) wrote :

I wonder why gnome-terminal is responsible for setting this environment variable. What if the user is using another terminal programm?

Another point is that http_proxy may be defined system wide, but no_proxy not...