linux proxyあれこれ

aptのプロキシ設定

/etc/apt/apt.conf.d/80proxyに以下を入力

Acquire::http::Proxy "http://proxy_server:port";
Acquire::https::Proxy "http://proxy_server:port";

yumのプロキシ設定

/etc/yum.confに以下を追記

proxy=http://proxy.xxx.xxx:pp