IntelliJ sbt 代理设置：下载依赖
把代理 JVM 参数写进 sbt 设置，然后为导入或 shell 工作启动新的 sbt 进程。
IntelliJ 的 Check Connection 测试的是 IDE 自己的通路。它可以通过，而单独的 sbt JVM 仍然无法下载依赖。
- 打开 Settings → Build, Execution, Deployment → Build Tools → sbt。
- 在 JVM 设置中，把所需属性作为 JVM 参数填入 VM parameters：
-Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080
-Dhttps.proxyHost=proxy.example -Dhttps.proxyPort=8080只使用所选端点的主机名，不要带 URL scheme。HTTP 代理列表是这条下载通路的公开候选来源。HTTPS 属性对选择 HTTPS 下载；它不会把监听器变成 TLS 代理。
修改这些输入后，启动新的 sbt 进程。已有的 sbt shell 会保留其启动配置。确认 IntelliJ 是使用 sbt shell 做导入，还是把构建委托给它，好让失败的操作走新配置的进程。
如果失败的操作是 IDE 插件下载，请改用 IntelliJ 的 HTTP Proxy 设置。单独启动的应用使用自己的运行配置和网络客户端。
这四个属性选择一条通路。遇到代理认证要求时，按公布的方式和实际 sbt 下载器支持的认证设置处理。