On Nov 12, Manoj Srivastava <[EMAIL PROTECTED]> wrote: > One thing I see happening is that replacing bash as /bin/sh > might make script startup ties a bit faster, at the expense of soe > of the built in facilities and extensions present in bash. It will make almost every script run faster, and this is noticeable e.g. with autoconf scripts.
> It would, at one fell swoop, solve the problem Thomas hinted > at before, about our specification allowing shell to randomly shadow > other commands on the system. There are no real problems in practice nowadays, and bashisms in scripts are very rare. -- ciao, Marco
signature.asc
Description: Digital signature
