[解決済み] プロキシの後ろからsbtを使うには？

質問

プロキシを使うようにsbtを設定するにはどうしたらいいですか？

例えば、私のビルド定義では GitHub に接続する必要があり、接続パラメータを http.proxy , http.proxyPort , user そして password .

これらの設定をどのようにsbtに渡せばいいのでしょうか？

自宅で作業するときのために、プロキシ/ノープロキシの設定を簡単に切り替える方法はありますか？

どのように解決するのですか？

sbt は、http プロキシ設定のために通常の環境変数を尊重します。

export JAVA_OPTS="$JAVA_OPTS -Dhttp.proxyHost=yourserver -Dhttp.proxyPort=8080 -Dhttp.proxyUser=username -Dhttp.proxyPassword=password"

( もちろん、これはUnix（Linux/OSXなど）を想定しての話です。Windowsでは、同じ環境変数を設定するだけです( %JAVA_OPTS% )を通常通りWindowsの方法で設定します。 )

次に実行する sbt をいつも通り実行します。

sbt

プロキシ/ノープロキシの切り替えは、必要なときにいつでも「スラスラ」できる小さなスクリプトを設定することでできるはずです。

問題点

• に "http://" を含めないでください。 yourserver 値
• にポートを含めないでください。 yourserver 値
• また、おそらく https.proxyHost と https.proxyPort 多くのものがhttps上で動作するため
• プロキシが認証を要求する場合、SBT がそれ以外のものをサポートしていないため、基本認証を使用していない限り、試行錯誤する必要はありません。 また、環境変数にクリアテキストで認証情報を入れるのは常に注意が必要です! トレースファイルを作らないようなテキスト編集方法で .bash_history からコマンドを必ず削除してください (技術的には shred または srm を使用することもできます。） Windows を使用している場合は、セキュリティがすでにめちゃくちゃになっているので、これ以上害を及ぼすことはできませんので、心配しないでください。