scala - 我在哪里可以在Intellij IDEA中设置SBT代理？

Question

我正在使用Intellij IDEA 14.1.3版，并已安装Scala插件。创建SBT项目时，它报告以下错误:

Error:Error while importing SBT project:
...
        ::::::::::::::::::::::::::::::::::::::::::::::

        :: org.fusesource.jansi#jansi;1.11: not found

        ::::::::::::::::::::::::::::::::::::::::::::::


:::: ERRORS
    Server access Error: Connection timed out: connect url=http://repo.typesafe.com/typesafe/ivy-releases/org.fusesource.jansi/jansi/1.11/ivys/ivy.xml

    Server access Error: Connection timed out: connect url=http://repo1.maven.org/maven2/org/fusesource/jansi/jansi/1.11/jansi-1.11.pom

    Server access Error: Connection timed out: connect url=http://repo1.maven.org/maven2/org/fusesource/jansi/jansi/1.11/jansi-1.11.jar


:: USE VERBOSE OR DEBUG MESSAGE LEVEL FOR MORE DETAILS
unresolved dependency: org.fusesource.jansi#jansi;1.11: not found
Error during sbt execution: Error retrieving required libraries
  (see C:\Users\xiaona\.sbt\boot\update.log for complete log)
Error: Could not retrieve jansi 1.11

See complete log in C:\Users\xiaona\.IdeaIC14\system\log\sbt.last.log

引用了 post之后，我发现根本原因应该是我使用代理连接了Internet。

但是在 SBT设置屏幕中:

我找不到设置代理的地方。在哪里可以在 SBT中设置 Intellij IDEA的代理？

Answer 1

将-Dhttp.proxyHost=<proxy_server> -Dhttp.proxyPort=<proxy_port>添加到VM参数

阅读documentation了解更多信息