Proxy設定あれこれ

環境変数

export HTTP_PROXY=http://your.proxy.server:8080
export HTTPS_PROXY=http://your.proxy.server:8080
export NO_PROXY=localhost,192.168.*,127.0.*
export http_proxy=${HTTP_PROXY}
export https_proxy=${HTTP_PROXY}
export no_proxy=${NO_PROXY}

wget

以下を~/.wgetrcに書く

# Proxy Setting
http_proxy=http://your.proxy.server:8080
https_proxy=http://your.proxy.server:8080
proxy_user=username
proxy_password=password

pip

HTTP_PROXYを見ている

conda

~/.condarcに以下を書く

proxy_servers:
    http: http://your.proxy.server:8080
    https: http://your.proxy.server:8080

intellij

File > Settings > Appearence & Behavior > System Settings > HTTP Proxy

sbt

JVMのオプションに以下を追加

-Dhttp.proxyHost=your.proxy.server
-Dhttp.proxyPort=8080
-Dhttps.proxyHost=your.proxy.server
-Dhttps.proxyPort=8080

intellijの場合はFile > Settings > Build, Execution,Deployment > Build Tools > SBT

gradle