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

Question

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

不幸的是"安装scala"失败,因为播放无法获取模块站点.

我的公司代理系统设置正确,但播放似乎没有使用它们.

是否有某个配置文件或某些环境属性我需要设置播放才能获取它们？

Answer 1

在Python中实现的install命令在幕后使用ulrlib:https://github.com/playframework/play/blob/master/framework/pym/play/commands/modulesrepo.py#L73

该urllib库允许通过ENV var设置代理http_proxy:http://docs.python.org/library/urllib.html#high-level-interface

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

Answer 2

我认为它仅适用于尚未发布的 1.1.1。请参阅错误 210。我不确定，但我认为列表模块和安装使用相同的代码来获取代理。您可以手动安装它。