Re: [Pharo-dev] get.pharo.org behind proxy

On 18 Mar 2014, at 10:51, Ciprian Teodorov <ciprian.teodorov@gmail.com> wrote:

Hi guys,

While trying to get pharo using the zeroconf scripts I had some problems due to the proxy server. Is there any way of specifying the proxy to be used.

I've tried something like: curl -x server:port get.pharo.org/20+vm | bash but it does not work

The reason this does not work is because the script returned by the first curl call, which is fed to bash, contains more downloads. Try setting the http_proxy environment variable (see man curl) to cover the subsequent calls as well.

Cheers -- Dr. Ciprian TEODOROV Ingénieur de Recherche

tél : 06 08 54 73 48 mail : ciprian.teodorov@gmail.com www.teodorov.ro