設定内容

java起動コマンドに、プロキシを指定する。環境によってはhttpsも入れないと動かない？（自分はその環境だった。）

-Dhttp.proxyHost=ホスト
-Dhttp.proxyPort=ポート
-Dhttp.proxyUser=ユーザ
-Dhttp.proxyPassword=パスワード
-Dhttp.nonProxyHosts="localhost|127.0.0.1"
-Dhttps.proxyHost=ホスト
-Dhttps.proxyPort=ポート
-Dhttps.proxyUser=ユーザ
-Dhttps.proxyPassword=パスワード
-Dhttps.nonProxyHosts="localhost|127.0.0.1"

configファイル

執筆時点、Activator・sbt両者に、java起動の引数に組み込むコンフィグファイルがある。
（起動スクリプトに組み込み。jarから走るときはダメなので注意）

sbt(v0.13.9時点)

Linux系

sbt/conf/sbtopts

Windows

sbt/conf/sbtconfig.txt

Activator(v1.3.7時点)

Linux系

~/.activator/activatorconfig.txt

Windows系

%UserProfile%\.activator\activatorconfig.txt