March 18, 2014
10 a.m.
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