garbagetown

個人の日記です

Proxy 経由で Play Deps を使う

playframework 1.x で proxy を超えて play deps を実行するには

$ play deps -Dhttp.proxyHost=YOUR_PROXY_HOST -Dhttp.proxyPort=YOUR_PROXY_PORT

として proxy の情報を Javaシステムプロパティに与えてやればよい。

参考