Dart编辑器中的网络连接代理

时间:2014-06-03 17:23:30

标签: dart dart-editor

Eclipse在其首选项中有一个“网络连接”页面,允许用户使用代理进行网络连接,所以如果我在防火墙后面,我可以使用这些连接。我在Dart编辑器中看不到任何此类选项。所以,在我工作的时候,由于这个原因,我无法从网络更新。我可以在浏览器中设置代理,但不能在Dart编辑器中设置代理。通过直接连接到ISP,一切正常,但不是来自内部网络。

有没有办法解决这个问题?如果有另一种方法允许Dart编辑器连接到网络代理,我会很高兴。

1 个答案:

答案 0 :(得分:1)

您必须设置环境变量

https://www.dartlang.org/tools/editor/troubleshoot.html#pub-get-firewall

http_proxy=http://<yourproxy>.<yourdomain>.com:9090/
https_proxy=https://<yourproxy>.<yourdomain>.com:9090/
no_proxy=localhost,127.0.0.0/8

如果您的代理需要身份验证,则设置将如下所示:

http_proxy=http://<username>:<password>@<yourproxy>.<yourdomain>.com:9090/
https_proxy=https://<username>:<password>@<yourproxy>.<yourdomain>.com:9090/

DartEditor不再是

<击> 要启用Dart编辑器检查更新,请将以下内容添加到DartEditor.ini文件中:

-Dhttp.proxyHost=<yourproxy>.<yourdomain>.com
-Dhttp.proxyPort=9090
-Dhttps.proxyHost=<yourproxy>.<yourdomain>.com
-Dhttps.proxyPort=9090

如果您需要用户名和密码进行身份验证,请添加:

-Dhttp.proxyUser=<username>
-Dhttp.proxyPassword=<passwordstring>
-Dhttps.proxyUser=<username>
-Dhttps.proxyPassword=<passwordstring>

<击>

另见https://github.com/dart-lang/sdk/issues/24080