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