Closed azarashichop closed 8 years ago
おそらくは PROXY の設定がされていないからだとは思いますが、 ログを見る限り github の API サーバのDNSルックアップに失敗しているようで、 必ずしも PROXY の設定だけでは解決しないかもしれません。
とりあえず環境変数 HTTPS_PROXY
と、念のため HTTP_PROXY
も設定してから
再度 UPDATE.bat を実行してみてもらえますか?
設定例:
SET HTTPS_PROXY=https://my.proxy.url:8443
SET HTTP_PROXY=http://my.proxy.url:8080
ご提案いただいた、プロキシ設定を環境変数にセットした上で再度実行、 正常にアップデート可能なことを確認しました。
ありがとうございました。
ではドキュメントに追記する方向で対応しておきます。 報告ありがとうございました。
第一弾としてこんな文章を追記しました。 fd5258c9485ef6af1fcee892ea057569638142d0
てなところで本 issue は閉じます。
重ねて、報告をありがとうございました。 :+1: & :cake:
ご対応ありがとうございました!
以下のようなログが出力されています。 環境:社内NW+PROXY
ご確認よろしくお願いします。