choosenimのWindowsへのインストール

choosenimをwindowsにインストールしようとしてつまったので紹介

choosenimはこちら[https://github.com/dom96/choosenim]

proxy設定下ではrunme.batを実行してもエラーをはいて止まってしまう. これの原因はchoosenimがproxyの設定を読み込めていないから.
対処するには環境変数"http_proxy"を作成し, プロキシ設定(hostname:port)を書き込めばよい. (Windowsではそんな設定してないよね…)