I have changed the current development release of pca (20090610-01) now
to set either http_proxy or https_proxy for wget (depending on the
protocol used) when pca's wgetproxy option is set.
wget's docs are a little weak here - while wget always required
<prot>_proxy to be set for <prot>:// URLs, https_proxy wasn't documented
for quite some time. Even the most recent sample.wgetrc included in the
wget distribution lists http_proxy and ftp_proxy, but not https_proxy.
The man page doesn't talk about *_proxy at all.
Thanks to Paul for bringing this to my attention and to Glenn for the
pointers and confirmation!
Martin.
