【发布时间】:2011-05-24 10:26:15
【问题描述】:
我正在尝试开始使用 play web 框架及其 scala 支持,
不幸的是,“安装 scala”失败了,因为 play 无法获取模块站点。
我已经为公司代理设置了正确的系统设置,但是 play 似乎没有使用它们。
是否有某个配置文件或我需要设置一些环境属性才能播放?
【问题讨论】:
标签: networking proxy playframework
我正在尝试开始使用 play web 框架及其 scala 支持,
不幸的是,“安装 scala”失败了,因为 play 无法获取模块站点。
我已经为公司代理设置了正确的系统设置,但是 play 似乎没有使用它们。
是否有某个配置文件或我需要设置一些环境属性才能播放?
【问题讨论】:
标签: networking proxy playframework
安装命令,用 Python 实现,在后台使用 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 变量设置代理。
【讨论】:
您确定模块位置没有被代理阻止吗?您是否能够通过浏览器访问该 URL,或者如果您在 Linux 上运行,则使用 wget?
你想要的网址是http://www.playframework.org/modules/scala-head.zip。
如果您可以访问它,您可以直接下载文件并解压缩到播放模块中。这就是安装命令所做的一切。
【讨论】:
我假设它仅适用于尚未发布的 1.1.1。见bug 210。我不确定,但我认为 list-modules 和 install 使用相同的代码来获取代理。 您可以手动安装。
【讨论】:
我强烈建议使用 Proxifier 等软件来处理公司代理服务器,而不是在应用程序级别处理它。这将允许您在一个地方控制所有代理配置,并且比尝试更新单个软件包更加无缝。
如果您使用的是 U*nx,请尝试使用 CNTLM。
【讨论】: