proxy環境でWindowsにpipでJupiter Notebookをインストールする

pipでJupiter Notebookをインストールする手順

この手順をproxy前提で実行する必要があり
https://qiita.com/adshidtadka/items/cb34d355a41a4a14ff68

要するに、git bashで以下をたたくだけでとても簡単だが、proxy前提に直す必要があり

$pip install -U pip
$pip install jupyter
$jupyter notebook

proxy前提の手順

https://qiita.com/samunohito/items/40a03e1464899225e698
git bashなのでsetではなくexportにする

export HTTP_PROXY=http://user:[e-mail]:8080
export HTTPS_PROXY=http://user:[e-mail]:8080

権限エラーがなぜかでたので--userオプションを

$pip install -U pip --user

所感

proxyにまだ消耗しているの？と言われそうだが、まぁ仕方なし。