Re: [gobo-eiffel-develop] GEC bootstrap

[Bernd S. <ber...@in...>]

At Sat, 28 Jul 2007 22:58:00 +0200,
Eric Bezault wrote:
> >> I can confirm that 'sh' should always be in the path on a Unix system,
> >> so just calling 'sh <script>' should always work. I am saying "should"
> >> as there are some very strange Unix systems out there ... ;-)
> > 
> > So should I use /bin/sh to be 100% sure?
> 
> In other words, is there a reason why I shouldn't use /bin/sh?

Yes, there are: you are taking away the control y the user of which sh
shell to execute. Some people have their own preferred version of 'sh'
(for example 'bash' instead of the original bourne shell) with a
higher priority in their path.

But I do indeed think these are corner cases. /bin/sh should also do
fine.

Bernd