如何在Windows 7中使用代理后面的sbt?

rib*_*i86 9 http-proxy windows-7 sbt

我试图SBTWindows 7上运行.为此,我按照类似线程" 如何从代理后面使用sbt? "中的步骤进行操作.

我有以下相关的"系统变量":

变量名称: JAVA_OPTS 变量值: -Dhttp.proxySet=true -Dhttp.proxyHost=192.168.0.150 -Dhttp.proxyPort=8080

变量名称: SBT_OPTS 变量值: -Dhttp.proxySet=true -Dhttp.proxyHost=192.168.0.150 -Dhttp.proxyPort=8080

变量名称: SBT_HOME 变量值: C:\Program Files (x86)\sbt\

我也改变了内容 C:\Program Files (x86)\sbt\conf\sbtconfig.txt

*****sbtconfig.txt开始*****

*将java args设置为高

-Xmx512M

-XX:MaxPermSize参数=256米

-XX:ReservedCodeCacheSize =128米

*设置额外的SBT选项

-Dsbt.log.format =真

*设置代理

-Dhttp.proxySet =真

-Dhttp.proxyHost = 192.168.0.150

-Dhttp.proxyPort = 8080

*****sbtconfig.txt结束*****

cmd.exe我输入sbt.cmd回声

获取org.fusesource.jansi jansi 1.11 ....

大约1分钟后,我收到很多警告和错误,如:

[...]

::::错误服务器访问错误:连接超时:connect url = https://repo.typesafe.com/typesafe/ivy-releases/org.fusesource.jansi/jansi/1.11.ivys/ivy.xml

[...]

这与我没有代理设置完全相同.当我在浏览器中输入上述地址时,我感到很惊讶,我得到的是:

*****浏览器显示BEGINNING*****

{

"错误":[{

"身份":404,

"消息":"找不到文件."

}]

}

*****浏览器显示END*****

如何判断SBT是否尝试使用代理,还是存在其他问题?

rib*_*i86 20

谢谢Paweł的回答.

这是我发现的:

" -Dhttp.proxySet=true"没有任何影响(对我来说至少)

设置按以下顺序排列优先顺序:

SBT_OPTS覆盖JAVA_OPTS覆盖%SBT_HOME%conf\sbtconfig.txt

解决方案是设置其中一个环境变量

JAVA_OPTS=-Dhttp.proxyHost=192.168.0.150 -Dhttp.proxyPort=8080 -Dhttps.proxyHost=192.168.0.150 -Dhttps.proxyPort=8080 -Dhttp.nonProxyHosts=localhost
Run Code Online (Sandbox Code Playgroud)

要么

SBT_OPTS=-Dhttp.proxyHost=192.168.0.150 -Dhttp.proxyPort=8080 -Dhttps.proxyHost=192.168.0.150 -Dhttps.proxyPort=8080 -Dhttp.nonProxyHosts=localhost
Run Code Online (Sandbox Code Playgroud)

或者编辑%SBT_HOME%conf\sbtconfig.txt文件:

***** sbtconfig.txt BEGINNING (hashtags in this file have been replaced by stars) *****

*Set the java args to high

-Xmx512M

*-XX:MaxPermSize=256m

-XX:ReservedCodeCacheSize=128m

*Set the extra SBT options

-Dsbt.log.format=true

*Proxy settings

-Dhttp.proxyHost=192.168.0.150 

-Dhttp.proxyPort=8080

-Dhttps.proxyHost=192.168.0.150 

-Dhttps.proxyPort=8080

***** sbtconfig.txt END *****
Run Code Online (Sandbox Code Playgroud)