Manoj Srivastava wrote:
On Sun, Jul 26 2009, Luk Claes wrote:
Goswin von Brederlow wrote:
A faster and smaller default system shell is important to a lot of our
users.
I see this asserted a lot. I am pretty sure that the average
user very likely does not care. The embedded system folks certainly do
--- but I am not sure that the counter assertion that systems will
break if /bin/sh is changed under them do not equal in number the
people who benefit from small default system shell.
I think it is OK to start with dash as the default on new
installations, and to ask if people want to switch older ones. Forcing
the switch would be, in my opinion, buggy behaviour.
Pardon me if forcing the /bin/sh to point to dash on existing
machines is not the plan.
On upgrades you are asked if you want to have dash as default system
shell unless you have dash already installed, then we leave it as is.
Cheers
Luk
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org