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

2009-07-30 Thread Frans Pop
Steve Langasek wrote: > On Sun, Jul 26, 2009 at 05:10:59PM +0200, Frans Pop wrote: >> You're correct of course. If we want to go this way there should be two >> questions: one for the system shell to use and one for the default user >> shell, each with per-arch defaults. > > Do you really think th

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

2009-07-27 Thread Steve Langasek
On Sun, Jul 26, 2009 at 05:10:59PM +0200, Frans Pop wrote: > You're correct of course. If we want to go this way there should be two > questions: one for the system shell to use and one for the default user > shell, each with per-arch defaults. Do you really think that the latter warrants a ques

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

2009-07-26 Thread Manoj Srivastava
On Sun, Jul 26 2009, Frans Pop wrote: > You're correct of course. If we want to go this way there should be two > questions: one for the system shell to use and one for the default user > shell, each with per-arch defaults. > > From the discussion there seem to be three groups: > - embedded: wa

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

2009-07-26 Thread Goswin von Brederlow
Frans Pop writes: > Philipp Kern wrote: >> On 2009-07-23, Frans Pop wrote: >>> In addition all shells supported as defaults would need to be included >>> on CD images. And the selected shell would of course have to be set as >>> the default for new users. >> >> Strike the "of course". If I wan

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

2009-07-26 Thread Frans Pop
Philipp Kern wrote: > On 2009-07-23, Frans Pop wrote: >> In addition all shells supported as defaults would need to be included >> on CD images. And the selected shell would of course have to be set as >> the default for new users. > > Strike the "of course". If I want my users to have zsh as a

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

2009-07-26 Thread Siggy Brentrup
Hi Sam, on Thu, Jul 23, 2009 at 16:53 -0400, you wrote: > > "Siggy" == Siggy Brentrup writes: [snipping nonsense and reply] My sincere apologies for that nonsense, my only excuse is that I was overtired and I'm quite concerned about this issue not being solved in 5 years I've be away from d

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

2009-07-26 Thread Cyril Brulebois
Goswin von Brederlow (24/07/2009): > Give me the freedom to choose. It looks like we just reached the “Linux is about choice” Goswin point. Mraw, KiBi. signature.asc Description: Digital signature

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

2009-07-25 Thread Goswin von Brederlow
Philipp Kern writes: > On 2009-07-25, Goswin von Brederlow wrote: >> The existing dash package uses dpkg-divert, which is unsuitable on a >> larger scale (larger than the one dash package). And to have bash >> removable dash has to force itself as /bin/sh. So there goes even that >> little choic

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

2009-07-25 Thread Philipp Kern
On 2009-07-25, Goswin von Brederlow wrote: > The existing dash package uses dpkg-divert, which is unsuitable on a > larger scale (larger than the one dash package). And to have bash > removable dash has to force itself as /bin/sh. So there goes even that > little choice. > > What alternative do yo

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

2009-07-25 Thread Goswin von Brederlow
Raphael Geissert writes: > Goswin von Brederlow wrote: >> But that should be a choice. Not forced upon the user. As Manoj has >> said now a few times, many things will break for users even if all of >> Debian is dash fixed. By making /bin/sh choosable everybody wins. >> > > Who said anything abo

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

2009-07-25 Thread Goswin von Brederlow
Gabor Gombas writes: > On Fri, Jul 24, 2009 at 06:31:59PM +0200, Goswin von Brederlow wrote: > >> Why would you think the one transition would be helpfull in the second >> or that there would be less breakage in the second if we do the first >> one first? I would rather say you are doubling the p

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

2009-07-25 Thread Raphael Geissert
Goswin von Brederlow wrote: > But that should be a choice. Not forced upon the user. As Manoj has > said now a few times, many things will break for users even if all of > Debian is dash fixed. By making /bin/sh choosable everybody wins. > Who said anything about not offering the user to choose w

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

2009-07-25 Thread Vincent Lefevre
On 2009-07-25 09:53:06 +0200, Steve Langasek wrote: > On Fri, Jul 24, 2009 at 10:38:51AM -0500, Manoj Srivastava wrote: > > On Fri, Jul 24 2009, Steve Langasek wrote: > > > What's the advantage of having it be zsh? Is zsh faster than > > > dash? Or is the only savings the elimination of the 84k das

Re: shells and posix compliance [was Re: Switching /bin/sh to dash without dash essential]

2009-07-25 Thread Giacomo Catenazzi
Clint Adams wrote: [not replying off-list because that seems counterproductive and arrogant] On Fri, Jul 24, 2009 at 03:49:15PM +, brian m. carlson wrote: Actually, if it's invoked as /bin/sh, it is supposed to be Bourne-compatible. That's my experience with the current version: Not much

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

2009-07-25 Thread Steve Langasek
On Fri, Jul 24, 2009 at 09:15:43PM +0200, Goswin von Brederlow wrote: > And what if my posh is compiled against uclibc? You never know. > For embedded systems that is not too far fetched. The embedded system developers could just as easily build dash against uclibc instead of posh. Stop being dif

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

2009-07-25 Thread Steve Langasek
On Fri, Jul 24, 2009 at 10:38:51AM -0500, Manoj Srivastava wrote: > On Fri, Jul 24 2009, Steve Langasek wrote: > > On Fri, Jul 24, 2009 at 09:31:04AM -0500, Manoj Srivastava wrote: > >> I think you are not going far enough. Why should I have dash on > >> the system when my default shell

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

2009-07-25 Thread Gabor Gombas
On Fri, Jul 24, 2009 at 06:31:59PM +0200, Goswin von Brederlow wrote: > Why would you think the one transition would be helpfull in the second > or that there would be less breakage in the second if we do the first > one first? I would rather say you are doubling the problems and > breakages as th

shells and posix compliance [was Re: Switching /bin/sh to dash without dash essential]

2009-07-24 Thread Clint Adams
[not replying off-list because that seems counterproductive and arrogant] On Fri, Jul 24, 2009 at 03:49:15PM +, brian m. carlson wrote: > Actually, if it's invoked as /bin/sh, it is supposed to be > Bourne-compatible. That's my experience with the current version: Not much effort is put into

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

2009-07-24 Thread Goswin von Brederlow
Peter Samuelson writes: >> Steve Langasek writes: >> > What's the advantage of having it be zsh? Is zsh faster than dash? Or is >> > the only savings the elimination of the 84k dash binary from /bin? > > [Goswin von Brederlow] >> Plus the libaries dash depends on (if they differ from posh) > >

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

2009-07-24 Thread Peter Samuelson
> Steve Langasek writes: > > What's the advantage of having it be zsh? Is zsh faster than dash? Or is > > the only savings the elimination of the 84k dash binary from /bin? [Goswin von Brederlow] > Plus the libaries dash depends on (if they differ from posh) NEEDED libc.so.6 Oh well,

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

2009-07-24 Thread Vincent Lefevre
On 2009-07-24 15:49:15 +, brian m. carlson wrote: > On Fri, Jul 24, 2009 at 08:31:55AM -0700, Russ Allbery wrote: > > zsh has also historically been fairly buggy in corner cases as > > /bin/sh and requires explicit commands to make it > > Bourne-compatible. Autoconf has had to add a bunch of wo

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

2009-07-24 Thread Goswin von Brederlow
Manoj Srivastava writes: > On Fri, Jul 24 2009, Steve Langasek wrote: >> If the goal is to make *bash* removable, then I can understand why >> that would be helpful to some people since it's the heavier shell by >> far. > > Right. > >> None of what you're talking about in this subthread

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

2009-07-24 Thread Goswin von Brederlow
Gabor Gombas writes: > Hi, > > On Fri, Jul 24, 2009 at 09:31:04AM -0500, Manoj Srivastava wrote: > >> I think you are not going far enough. Why should I have dash on >> the system when my default shell is posh? or (gasp) zsh? > > posh (or "strict POSIX" in general) is simply not practica

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

2009-07-24 Thread Goswin von Brederlow
Steve Langasek writes: > On Fri, Jul 24, 2009 at 09:31:04AM -0500, Manoj Srivastava wrote: > >> I think you are not going far enough. Why should I have dash on >> the system when my default shell is posh? or (gasp) zsh? > > Why would you set your default shell to posh? It's only margina

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

2009-07-24 Thread Goswin von Brederlow
Steve Langasek writes: > 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

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

2009-07-24 Thread Giacomo Catenazzi
Gabor Gombas wrote: Hi, On Fri, Jul 24, 2009 at 09:31:04AM -0500, Manoj Srivastava wrote: I think you are not going far enough. Why should I have dash on the system when my default shell is posh? or (gasp) zsh? posh (or "strict POSIX" in general) is simply not practical, and zsh is

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

2009-07-24 Thread Manoj Srivastava
On Fri, Jul 24 2009, Steve Langasek wrote: > On Fri, Jul 24, 2009 at 09:31:04AM -0500, Manoj Srivastava wrote: > >> I think you are not going far enough. Why should I have dash on >> the system when my default shell is posh? or (gasp) zsh? > > Why would you set your default shell to posh?

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

2009-07-24 Thread brian m. carlson
On Fri, Jul 24, 2009 at 08:31:55AM -0700, Russ Allbery wrote: > zsh has also historically been fairly buggy in corner cases as /bin/sh and > requires explicit commands to make it Bourne-compatible. Autoconf has had > to add a bunch of workarounds for zsh as sh that I'm sure most of our > shell scr

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

2009-07-24 Thread Russ Allbery
Steve Langasek writes: > What's the advantage of having it be zsh? Is zsh faster than dash? Or > is the only savings the elimination of the 84k dash binary from /bin? zsh has also historically been fairly buggy in corner cases as /bin/sh and requires explicit commands to make it Bourne-compati

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

2009-07-24 Thread Gabor Gombas
Hi, On Fri, Jul 24, 2009 at 09:31:04AM -0500, Manoj Srivastava wrote: > I think you are not going far enough. Why should I have dash on > the system when my default shell is posh? or (gasp) zsh? posh (or "strict POSIX" in general) is simply not practical, and zsh is even more bloated th

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

2009-07-24 Thread Steve Langasek
On Fri, Jul 24, 2009 at 09:31:04AM -0500, Manoj Srivastava wrote: > I think you are not going far enough. Why should I have dash on > the system when my default shell is posh? or (gasp) zsh? Why would you set your default shell to posh? It's only marginally smaller than dash, and my und

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

2009-07-24 Thread Manoj Srivastava
On Fri, Jul 24 2009, Steve Langasek wrote: > On Thu, Jul 23, 2009 at 04:04:03PM -0500, Manoj Srivastava wrote: > >> >> If the answer is that we really do want it everywhere independent of >> >> what /bin/sh is, that's fine. However, that's not obvious to me. > >> > As long as /bin/sh refuses exte

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

2009-07-24 Thread Manoj Srivastava
On Fri, Jul 24 2009, Steve Langasek wrote: > On Thu, Jul 23, 2009 at 04:10:54PM -0500, Manoj Srivastava wrote: >> > We want everyone to use dash by default. > >> Who is we? Why is the sysadmin not the one making the decision? >> Why is the Vendor making this decision for the user? > > Bec

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

2009-07-24 Thread Manoj Srivastava
On Fri, Jul 24 2009, Steve Langasek wrote: > On Fri, Jul 24, 2009 at 04:33:21AM -0400, Sam Hartman wrote: >> Steve, let's take a step back and calm down. > >> 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?

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

2009-07-24 Thread Sam Hartman
> "Steve" == Steve Langasek writes: Steve> On Fri, Jul 24, 2009 at 04:33:21AM -0400, Sam Hartman wrote: >> Steve, let's take a step back and calm down. >> Are you saying that your objection to engineering a solution >> where dash doesn't need to be essential is that it's not

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

2009-07-24 Thread Giacomo Catenazzi
Steve Langasek wrote: On Fri, Jul 24, 2009 at 04:33:21AM -0400, Sam Hartman wrote: Steve, let's take a step back and calm down. 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

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

2009-07-24 Thread Bernd Zeimetz
Steve Langasek wrote: > On Fri, Jul 24, 2009 at 04:33:21AM -0400, Sam Hartman wrote: >> Steve, let's take a step back and calm down. > >> 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

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

2009-07-24 Thread Steve Langasek
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. > > Ye

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

2009-07-24 Thread Steve Langasek
On Thu, Jul 23, 2009 at 04:04:03PM -0500, Manoj Srivastava wrote: > >> If the answer is that we really do want it everywhere independent of > >> what /bin/sh is, that's fine. However, that's not obvious to me. > > As long as /bin/sh refuses extensions to posix I agree with you, but > > bashism h

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

2009-07-24 Thread Goswin von Brederlow
Steve Langasek writes: > On Fri, Jul 24, 2009 at 04:33:21AM -0400, Sam Hartman wrote: >> Steve, let's take a step back and calm down. > >> 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 w

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

2009-07-24 Thread Steve Langasek
On Fri, Jul 24, 2009 at 04:33:21AM -0400, Sam Hartman wrote: > Steve, let's take a step back and calm down. > 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

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

2009-07-24 Thread Sam Hartman
Steve, let's take a step back and calm down. 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. -- To UNSUBSCRIBE, email to debian-devel-re

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

2009-07-24 Thread Bernd Zeimetz
Siggy Brentrup wrote: >> Folks, there was a longish discussion on IRC starting about an hour >> ago about dash and bash. > > These discussions are extremely long standing :) The move away from > bash has been aimed at long before I vanished from the project in 2004. > I'm really upset that 5 yea

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

2009-07-24 Thread Goswin von Brederlow
Ben Finney writes: > Goswin von Brederlow writes: > >> Frans Pop writes: >> >> > Manoj Srivastava wrote: >> >> I think we can engineer a system where Debian suggests various >> >> shells as the default shell, and the user selects one. And only the >> >> selected default shell is one that can't

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

2009-07-24 Thread Steve Langasek
On Thu, Jul 23, 2009 at 04:10:54PM -0500, Manoj Srivastava wrote: > > We want everyone to use dash by default. > Who is we? Why is the sysadmin not the one making the decision? > Why is the Vendor making this decision for the user? Because there's no reason for an end user to care about

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

2009-07-24 Thread Ben Finney
Goswin von Brederlow writes: > Frans Pop writes: > > > Manoj Srivastava wrote: > >> I think we can engineer a system where Debian suggests various > >> shells as the default shell, and the user selects one. And only the > >> selected default shell is one that can't be removed from the > >> syst

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

2009-07-23 Thread Goswin von Brederlow
Frans Pop writes: > Manoj Srivastava wrote: >> I think we can engineer a system where Debian suggests various >> shells as the default shell, and the user selects one. And only the >> selected default shell is one that can't be removed from the system. > > Debian Installer could in theory support

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

2009-07-23 Thread Manoj Srivastava
On Thu, Jul 23 2009, Frans Pop wrote: > Manoj Srivastava wrote: >> I think we can engineer a system where Debian suggests various >> shells as the default shell, and the user selects one. And only the >> selected default shell is one that can't be removed from the system. > > Debian Installer coul

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

2009-07-23 Thread Philipp Kern
On 2009-07-23, Frans Pop wrote: > In addition all shells supported as defaults would need to be included on > CD images. And the selected shell would of course have to be set as the > default for new users. Strike the "of course". If I want my users to have zsh as a default that's different fr

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

2009-07-23 Thread Philipp Kern
On 2009-07-23, Manoj Srivastava wrote: >> As long as /bin/sh refuses extensions to posix I agree with you, but >> bashism has been a cuss word for years before 2004. > Source? Policy does not even ban bashims for maintainer scripts. Surely not, it just tells you to use bash in the shebang

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

2009-07-23 Thread Frans Pop
Manoj Srivastava wrote: > I think we can engineer a system where Debian suggests various > shells as the default shell, and the user selects one. And only the > selected default shell is one that can't be removed from the system. Debian Installer could in theory support this by having a default sh

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

2009-07-23 Thread Manoj Srivastava
On Thu, Jul 23 2009, Luk Claes wrote: > Sam Hartman wrote: >> >> Folks, there was a longish discussion on IRC starting about an hour >> ago about dash and bash. >> >> I agree we want to move the default /bin/sh to /bin/dash. >> However I'm failing to understand why we want dash to be essential. >

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

2009-07-23 Thread Sam Hartman
> "Siggy" == Siggy Brentrup writes: 8 >> I agree we want to move the default /bin/sh to /bin/dash. >> However I'm failing to understand why we want dash to be >> essential. If I'm not using dash as my /bin/sh why do I need >> it? Siggy> So you are complaining about a smal

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

2009-07-23 Thread Manoj Srivastava
On Thu, Jul 23 2009, Siggy Brentrup wrote: > On Thu, Jul 23, 2009 at 11:19 -0400, Sam Hartman wrote: > >> Folks, there was a longish discussion on IRC starting about an hour >> ago about dash and bash. > > These discussions are extremely long standing :) The move away from > bash has been aimed a

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

2009-07-23 Thread Sam Hartman
> "Luk" == Luk Claes writes: Luk> We want everyone to use dash by default. If someone does not Luk> want to use the default, they are free to do so, but the Luk> default system shell is supposed to always be on the system. Why? I agree something should always provide /bin/sh. I do

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

2009-07-23 Thread Goswin von Brederlow
Siggy Brentrup writes: > On Thu, Jul 23, 2009 at 11:19 -0400, Sam Hartman wrote: > > >> Folks, there was a longish discussion on IRC starting about an hour >> ago about dash and bash. > > These discussions are extremely long standing :) The move away from > bash has been aimed at long before I v

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

2009-07-23 Thread Luk Claes
Sam Hartman wrote: Folks, there was a longish discussion on IRC starting about an hour ago about dash and bash. I agree we want to move the default /bin/sh to /bin/dash. However I'm failing to understand why we want dash to be essential. If I'm not using dash as my /bin/sh why do I need it? >

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

2009-07-23 Thread Siggy Brentrup
On Thu, Jul 23, 2009 at 11:19 -0400, Sam Hartman wrote: > Folks, there was a longish discussion on IRC starting about an hour > ago about dash and bash. These discussions are extremely long standing :) The move away from bash has been aimed at long before I vanished from the project in 2004. I'

Switching /bin/sh to dash without dash essential

2009-07-23 Thread Sam Hartman
Folks, there was a longish discussion on IRC starting about an hour ago about dash and bash. I agree we want to move the default /bin/sh to /bin/dash. However I'm failing to understand why we want dash to be essential. If I'm not using dash as my /bin/sh why do I need it? If the answer is that