Networking 我如何告诉playframework使用我的公司代理？

我正在尝试开始使用play web框架及其scala支持

不幸的是，“安装scala”失败，因为play无法获取模块站点

我已经为公司代理设置了正确的系统设置，但是play似乎没有使用它们

---

是否需要为play设置配置文件或某些环境属性以获取它们？

用Python实现的install命令在后台使用ulrlib：

urllib

库允许通过ENV var

http_proxy

设置代理：

---

因此，您可以尝试通过该ENV变量设置代理。

您确定代理未阻止模块位置吗？您是否能够通过浏览器访问URL，或者如果您在Linux上运行，是否可以使用wget访问URL

你想要的网址是

---

如果您可以访问它，只需下载文件并直接解压缩到播放模块中即可。这就是install命令所做的一切。

我假设它只适用于尚未发布的1.1.1。看见我不确定，但我认为列表模块和安装使用相同的代码来获取代理。

---

您可以手动安装。

我强烈建议使用Proxifier之类的软件来处理公司代理服务器，而不是在应用程序级别处理。这将允许您在一个地方控制所有代理配置，并且与尝试更新单个软件包相比，工作起来更加无缝

如果您使用的是U*nx，请尝试CNTLM

---

尝试了一下，但没有尝试，不过感谢您的指点，python库声称MaxOSX应该尝试从操作系统设置中检索它，所以不确定它为什么不工作。。。我想知道是否有任何方法可以获得更多的输出，这样我就可以知道它在做什么。我在verion 1.2.1中遇到了这个问题。在Windows XP上，将HTTP_PROXY env变量设置为HTTP://：成功了。