garbagetown

個人の日記です

2012-05-14から1日間の記事一覧

Proxy 経由で Play Deps を使う

playframework 1.x で proxy を超えて play deps を実行するには $ play deps -Dhttp.proxyHost=YOUR_PROXY_HOST -Dhttp.proxyPort=YOUR_PROXY_PORT として proxy の情報を Java のシステムプロパティに与えてやればよい。 参考 dependencies - How do I ena…