Could pub tool support system proxy setting?

[taozuhong]

I have set the proxy for my machine, but dart can't read it, could pub tool support system proxy setting?

''when run the pub tool (set proxy by manual),it will return the result as follow pictures:''

[zoechi]

Current support is by using environment variables:

• https://www.dartlang.org/tools/editor/troubleshoot.html#pub-get-firewall
• http://stackoverflow.com/questions/24021315/network-connection-proxies-in-dart-editor

[taozuhong]

I know and have used the environment variables HTTP_PROXY/HTTPS_PROXY,but system setting are more flexable, so I hope pub command tool can support it .

[kevmoo]

This issue was moved to dart-lang/pub#1317

[nex3]

Pub doesn't explicitly deal with any network configuration at all. This is an issue for dart:io.

[sgjesse]

For more information see #5454 which have a long discussion on proxy configuration, here is a copy of one of the comments on supporting automatic proxy configuration:

We cannot support automatic configuration script (.pac) directly in Dart. A .pac is a JavaScript script intended for running in a browser. When a .pac script is used the .pac function FindProxyForURL is called and the returned string is then interpreted by the browser, e.g.:

function FindProxyForURL(url, host)
{
return "PROXY proxy.example.com:8080; DIRECT";
}

The string returned by HttpClient.findProxy callback uses the same format as .pac scripts.

There are several standalone .pac evaluators out there, one is https://code.google.com/p/pacparser/. If you use that with the following Python script you should get the string to be used in line 7.

import pacparser
pacparser.init()
pacparser.parse_pac_file('wpad.dat')
print pacparser.find_proxy('http://pub.dartlang.org', 'pub.dartlang.org')
pacparser.cleanup()