On Aug 02, Josselin Mouette <joss@debian.org> wrote: > 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 don't think so. -- ciao, Marco
Attachment:
signature.asc
Description: Digital signature