Thanks for your bugreport.
Could you please open gnome-terminal and post the output of: $ echo $http_proxy
thanks, Michael
Thanks for your bugreport.
Could you please open gnome-terminal and post the output of:
$ echo $http_proxy
thanks,
Michael