On 06/01/2014 15:50, Anil Madhavapeddy wrote:
> shouldn't this be |/bin/sh| to guarantee that we get the right shell?
> |type| should be portable as long as we have an |sh| and not a |csh|

Yeah, we should find the common denominator. Which is probably POSIX
right ? I'm going to see what POSIX says regarding all that.