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. >