[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Switching /bin/sh to dash without dash essential

On Fri, Jul 24, 2009 at 12:31:09PM +0200, Goswin von Brederlow wrote:
> >> Are you saying that your objection to engineering a solution where
> >> dash doesn't need to be essential is that it's not worth the effort?
> >> I *think* that was the point of your message but am not entirely sure.

> > Yes, that's definitely my position.  From what I can see, engineering a
> > solution where dash doesn't need to be essential isn't worth *any* effort,
> > because IMHO, so far the arguments for being able to remove dash from the
> > system appear entirely contrived.

> What about Manojs argument of having user scripts that (falsely) use
> bashism and #!/bin/sh or user accounts with /bin/sh as login shell?

> The proposed solution would allow the admin to choose what shell is
> /bin/sh and even more so would keep bash as /bin/sh on existing
> systems unless as different /bin/sh is specificaly configured.

Permitting the user to choose where /bin/sh points is orthogonal to whether
dash is Essential.  There's already support for user configuration of the
/bin/sh link, and my understanding is that the proposal actually on the
table doesn't change that.

Steve Langasek                   Give me a lever long enough and a Free OS
Debian Developer                   to set it on, and I can move the world.
Ubuntu Developer                                    http://www.debian.org/
slangasek@ubuntu.com                                     vorlon@debian.org

Reply to: