the scripts starts with #!/bin/bash so IMO you're fine, no?
well definitely won't harm to pass it on directly to bash ;)

thanks

On 2012-10-23, at 00:47, Paul DeBruicker <pdebr...@gmail.com> wrote:

> Camillo Bruni-3 wrote
>> curl http://pharo.gforge.inria.fr/ci/ciPharo20Cog.sh | sh
> 
> 
> If on a system where bash is not the default shell (e.g. Ubuntu 12.04) that
> line should be:
> 
> curl http://pharo.gforge.inria.fr/ci/ciPharo20Cog.sh | bash 
> 
> 
> 
> 
> --
> View this message in context: 
> http://forum.world.st/zero-conf-build-tp4652566p4652567.html
> Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
> 


Reply via email to