Josselin Mouette <joss@debian.org> writes: > 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. I think that's going to be practically impossible. Removing packages from essential is a ton of work for what seems like fairly minimal gain. -- Russ Allbery (rra@debian.org) <http://www.eyrie.org/~eagle/>