Leiningen1.2.0

Leiningenが1.2.0になったのでインストールし直しました。

で、学校のネットワーク内でインストールするときにProxyの設定が必要だったので、そのためのメモです。

と言っても、インストールするためのスクリプトファイル(lein)を編集して
71行目当たりのcurlにプロキシのための引数を与えるだけです。

HTTP_CLIENT="wget -O"
if type -p curl -x PROXY-IP:PORT >/dev/null 2>&1; then
  HTTP_CLIENT="curl -L -o"
fi