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

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