yumの場合
# /etc/yum.conf proxy=http://your.proxy.server:8080
wgetの場合
# /etc/wgetrc、または~/.wgetrc http_proxy=http://your.proxy.server:8080 ftp_proxy=http://your.proxy.server:8080
どちらもhttp_proxyと書いて上手く行かなかった。
bashの環境変数にhttp_proxyがあるようだ。それを使えば全て解決しそうだが、自分の環境では上手く行かなかった。
まずは、
export http_proxy=http://your.proxy.server:8080
を試してみるべし。
