proxy環境下でpipとかapt-getとかするときの設定がなんか毎回曖昧だったけどようやくはっきりした

pipのときは
HTTP_PTOXY, HTTPS_PROXY
の設定だけど

apt(apt-get)のときは
http_proxy, https_proxy
っぽい

これまで無限回やってきたのに，大文字小文字で違うことを知らなかった．