rfe: option for http proxy
An option to use an http/https proxy would be handy for installations which require that.
This is needed in both the initial bash autoinstaller in order to download the php installer, as well as when the php installer itself runs.
The protocol://[user:password@]proxyhost[:port]
syntax looks to be well supported, at least by apt-get, wget and curl, so calls to them could simply be adjusted with options:
apt-get -o Acquire::http::Proxy=http://local-proxy.domain.tld:3128/ ...
curl -x http://user1:secret@proxy.local.com:3128 ...
And for wget, just set the environment variables http_proxy
and https_proxy
(and ftp_proxy
?).