pearのHTTPプロキシ設定

借りてるサーバでpearが全然動かない。

% sudo pear install HTTP_Client
No releases available for package "pear.php.net/HTTP_Client"
Cannot initialize 'channel://pear.php.net/HTTP_Client', invalid or missing package file
Package "channel://pear.php.net/HTTP_Client" is not valid
install failed

よくわからないままchannel-updateしても動かない。

% sudo pear channel-update pear.php.net
audit_log_user_command(): Connection refused
Updating channel "pear.php.net"
Cannot retrieve channel.xml for channel "pear.php.net" (Connection to `172.20.25.95:18080' failed: Connection timed out)

困ってソースを見ているうちにpearにPEAR/Config.phpという設定ファイルっぽいものがあるのを知った。
それならばその設定を見るオプションがあると考え探すとpear config-showで見られることが分かった。

% pear config-show
Configuration (channel pear.php.net):
=====================================
Auto-discover new Channels     auto_discover    <not set>
Default Channel                default_channel  pear.php.net
HTTP Proxy Server Address      http_proxy       http://172.20.25.95:18080/
PEAR server [DEPRECATED]       master_server    pear.php.net
Default Channel Mirror         preferred_mirror pear.php.net

無効なproxyが設定されていた。

% sudo pear config-set http_proxy ""
config-set succeeded

これで解決。pearが使えるようになった。