我正在尝试开始使用 play web 框架及其 scala 支持,
不幸的是,“安装 scala”失败了,因为 play 无法获取模块站点。
我已经为公司代理设置了正确的系统设置,但是 play 似乎没有使用它们。
是否有某个配置文件或我需要设置一些环境属性才能播放它们?
我正在尝试开始使用 play web 框架及其 scala 支持,
不幸的是,“安装 scala”失败了,因为 play 无法获取模块站点。
我已经为公司代理设置了正确的系统设置,但是 play 似乎没有使用它们。
是否有某个配置文件或我需要设置一些环境属性才能播放它们?
在 Python 中实现的安装命令在后台使用 ulrlib:https ://github.com/playframework/play/blob/master/framework/pym/play/commands/modulesrepo.py#L73
该urllib
库允许通过 ENV var 设置代理:http http_proxy
: //docs.python.org/library/urllib.html#high-level-interface
因此,您可以尝试通过该 ENV 变量设置代理。
我假设它只适用于尚未发布的 1.1.1。请参阅错误 210。我不确定,但我认为 list-modules 和 install 使用相同的代码来获取代理。您可以手动安装它。
您确定模块位置没有被代理阻止吗?您是否能够通过浏览器访问 URL,或者如果您在 Linux 上运行,使用 wget?
您想要的 URL 是http://www.playframework.org/modules/scala-head.zip。
如果您可以访问它,您可以简单地下载文件并直接解压缩到播放模块中。这就是安装命令所做的一切。
我强烈建议使用 Proxifier 之类的软件来处理公司代理服务器,而不是在应用程序级别处理它。这将允许您在一个地方控制所有代理配置,并且比尝试更新单个软件包更无缝地工作。
如果您在 U*nx 上,请尝试使用 CNTLM。