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