On Wed, Aug 01, 2007 at 07:11:52PM +0200, Marco d'Itri wrote: > On Aug 01, Wouter Verhelst <[EMAIL PROTECTED]> wrote: > > It being the smallest and fastest one doesn't really help if you're in a > > tight environment where you want only one shell to be installed, and you > > want to use a different one from whatever Debian chose because of other > > reasons. > -rwxr-xr-x 1 root root 79956 Jul 21 12:24 /bin/dash* > > If 80 KB are a concern then I think you have way more problems than > wasting disk space because two different POSIX shells are installed.
There are embedded environments where 80KB is a concern. We're not at the level yet where we can reasonably support such environments, but there are people who are trying to change that, and I don't think we should make it harder for them by setting things up in a way that isn't strictly necessary, but is the easy way out. Note that I'm not saying that we should necessarily support it, then; only that "it's not useful, so sod it" isn't a very useful argument. The above is an example of where it would be useful. Oh, and it's -rwxr-xr-x 1 root root 107K 2007-07-18 14:02 /bin/dash ;-P -- <Lo-lan-do> Home is where you have to wash the dishes. -- #debian-devel, Freenode, 2004-09-22 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]