Как использовать 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