今のところのまとめ
curlはhttp_proxyとHTTPS_PROXY
プログラムごとに違う可能性があるので、一意にこれとは言えないと思われる
うまくいくまで試行錯誤したい場合、タイムアウトがうざいので短くするといい
---
いまいちわからん
結局どれをセットすればいいの？
大文字小文字で4パターン全部設定するの？ｗ🐰
curlでは
Sets the proxy server to use for HTTP.
Sets the proxy server to use for HTTPS.
httpを使うなら小文字のhttp、httpsを使うなら大文字のHTTPS
他のツールのソース(requestsとかawscliとか）も見てみようとしたけど、http_proxyとかproxyで検索する程度じゃ何もわからんかった……🐰
大文字小文字
Windows/Linuxで違うよな
Linuxだと区別する
Windowsでは区別しない
慣習では大文字で書く
環境変数読む側のツールがどうしてるかは不明
が、言語側では区別するので、別物として扱うはず
---
要素多すぎて何がなにやら……🐰
sayuriさんという人
この辺りの環境変数に明確な規定はなく、プログラム毎に独自の解釈がされています。
---