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...
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...