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
On Tue, Mar 18, 2014 at 10:51 AM, Ciprian Teodorov <ciprian.teodorov@gmail.com> wrote:
curl -x server:port get.pharo.org/20+vm | bash but it does not work
this should work for standard proxies I think. Read curl man page for details, there are plenty of --proxy-* options -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." Winston Churchill
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
thanks Sven, it worked like a charm... I was setting HTTP_PROXY instead of http_proxy... On Tue, Mar 18, 2014 at 11:04 AM, Sven Van Caekenberghe <sven@stfx.eu>wrote:
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
-- Dr. Ciprian TEODOROV Ingénieur de Recherche tél : 06 08 54 73 48 mail : ciprian.teodorov@gmail.com www.teodorov.ro
participants (3)
-
Ciprian Teodorov -
Damien Cassou -
Sven Van Caekenberghe