diff --git a/install-php-extensions b/install-php-extensions index e9e2379..33f980d 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -3712,6 +3712,13 @@ configureInstaller() { done fi if test $USE_PICKLE -eq 0; then + if test -z "$(pear config-get http_proxy)"; then + if test -n "${http_proxy:-}"; then + pear config-set http_proxy "$http_proxy" || true + elif test -n "${HTTP_PROXY:-}"; then + pear config-set http_proxy "$HTTP_PROXY" || true + fi + fi pecl channel-update pecl.php.net || true fi }