scala - 如何通过代理使用 coursier

Question

Coursier 是一个 Scala 下载工具。说明说要使用-Dhttps.proxyHost，但它对我不起作用：

./coursier bootstrap --java-opt -Xss4m --java-opt -Xms100m --java-opt -Dmetals.client=emacs   -Dhttps.proxyHost=127.0.0.1 -Dhttps.proxyPort=8080 org.scalameta:metals_2.12:0.7.6 -r bintray:scalacenter/releases -r sonatype:snapshots -o /usr/local/bin/metals-emacs -f

您如何通过代理使用 coursier（在 Ubuntu 上）？

Answer 1

您需要使用-J-Dhttps.proxyHost和-J-Dhttps.proxyPort标志：

./coursier bootstrap --java-opt -Xss4m --java-opt -Xms100m --java-opt -Dmetals.client=emacs -J-Dhttps.proxyHost=127.0.0.1 -J-Dhttps.proxyPort=8080 org.scalameta:metals_2.12:0.7.6   -r bintray:scalacenter/releases -r sonatype:snapshots -o /usr/local/bin/metals-emacs -f