[Josselin Mouette] > I guess the idea behind making dash the default /bin/sh is not only to > increase speed but also, in the end, to downgrade bash's priority.
As the one proposing it as a release goal, I can confirm that this is not the case. The only idea behind it for me is to increase speed. If others want to downgrade the priority of bash, I wish them luck and hope they see it as a completely different effort from the work done to speed up the distribution. :) Happy hacking, -- Petter Reinholdtsen -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
