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.
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
> Cheers
> --
> Dr. Ciprian TEODOROV
> Ing�nieur de Recherche
>
> t�l : 06 08 54 73 48
> mail : ciprian.teodorov@gmail.com
> www.teodorov.ro