如何通过代理使用 coursier

How to use coursier with a Proxy

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 上)与代理一起使用?

您需要使用 -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