Hi, On 09/11/12 18:38, Peter Simons wrote:
> >> Is there a better way to approach that problem? > > > > Yes, fix builders not to rely on /bin/sh (or at least not to assume > > it's Bash). > > we should link /bin/sh to Dash instead of Bash. That would catch any > implicit dependencies on non-POSIX shell features, What's the point of that? Breaking zillions of existing scripts for very little gain doesn't sound like a good idea to me. > and it would also > speed up our scripts quite a bit, because Dash starts up much faster > than Bash does. Of course any script can use dash if it wants to. -- Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
