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

--