Windows10にプロキシの環境変数を設定する

いつもの。
Windowsの検索バー(Cortana?)に環境変数と入力するとワンクリックで設定画面に行ける。
(それか、コントロールパネル>システム>システムの詳細設定>詳細設定タブ>環境変数(N)...)

所定のプロキシのIPアドレスとポートを入力する

HTTP_PROXY xxx.xxx.xxx.xxx:xxxxx
HTTPS_PROXY xxx.xxx.xxx.xxx:xxxxx

f:id:takuwz:20190109093912j:plain

f:id:takuwz:20190109095350j:plain

入力すると、コマンドプロンプト
>$echo %HTTP_PROXY%
で確認できる。

設定前に、
Github Desktopで、
Publishはされているが、Fetchが終わらない現象が発生した。

Publishはされていた。

 

f:id:takuwz:20190109095504j:plain

Fetchが終わらなかった。

 

f:id:takuwz:20190109095515j:plain