I've never used the "Manual proxy configuration", but I have set "Automatic proxy configuration". This is what my $http_proxy is set to:
$ echo $http_proxy http://:8080/
Which is clearly wrong.
I've never used the "Manual proxy configuration", but I have set "Automatic proxy configuration". This is what my $http_proxy is set to:
$ echo $http_proxy :8080/
http://
Which is clearly wrong.