On Wed, Aug 01, 2007 at 01:05:37PM -0700, Russ Allbery wrote: > Pierre Habouzit <madcoder@debian.org> writes: > > On Wed, Aug 01, 2007 at 10:57:53AM -0700, Russ Allbery wrote: > >> Pierre Habouzit <madcoder@debian.org> writes: > > >>> Okay, but that's not an argument. What would be the point for the user > >>> to change /bin/sh if Debian has already chosen the fastest and smallest > >>> one ? > > >> Because Debian thinks that the smallest and fastest one is dash, but > >> the user wants to run a giant pile of tens of thousands of lines of > >> shell scripts that are internal to their organization, are full of > >> bashisms, that the user isn't supposed to be changing, and which all > >> use /bin/sh. > > > Then he'll be able to move /bin/sh symlink on bash if he wants to. > > Right. Hence that's the point for the user to change /bin/sh. :) > > I have no problem with dash being the default. I was just defending our > committment to let the user change /bin/sh if they want to. Yes, I never thought we were about to remove the fact that /bin/sh was a symlink that the user could be able to change whenever he wants. I don't think debconf questions or alike are wise FWIW though. In fact what happens currently with bash/dash is fine, just with /bin/sh being dash instead of bash for new installations. -- ·O· Pierre Habouzit ··O madcoder@debian.org OOO http://www.madism.org
Attachment:
pgp2w07Xw1SBM.pgp
Description: PGP signature