Как использовать PEAR за прокси?

Question

Первоначально я использовал следующее безуспешно;

export http_proxy=http://username@password:host:port

Стоит отметить, что вместо этого я не получаю ошибку соединения напрямую;

[root@pal ~]# sudo pear info  PHP_CodeSniffer-1.2.1
No information found for `PHP_CodeSniffer-1.2.1'

Answer 1

Вместо того, чтобы использовать системный http_proxy, установите прокси прямо в конфигурации груш;

pear config-set http_proxy http://username:password@yourproxy:80

Answer 2

У вас также может быть проблема с вашим пользователем sudo, конфигурация которого отличается от вашего пользователя для pear.

Если вы сделаете это:

pear config-set http_proxy http://username:password@yourproxy:80

Тогда

sudo pear channel-discover pear.symfony-project.com

Вы изменили пользователя, и прокси-сервер все еще не установлен.

Так что используйте соответствующую команду:

sudo pear config-set http_proxy http://username:password@yourproxy:80

(замечена проблема при новой установке Ubuntu 11.04)

Answer 3

Это удалит настройки прокси:

pear config-set http_proxy ""

Answer 4

Обратите внимание, что pear config-set http_proxy работает, тогда как pecl config-set http_proxy не работает, хотя pecl config-get http_proxy работает.

Это стоило мне потраченных волос: -)