> So what?  On Fedora /bin/sh is bash, and bash is a fine shell.

I don't disagree.

> All this nonsense of using dash for /bin/sh on Debian is IMO a
> pointless bunch of make-work.

I may complain about Debian on every occasion but I think dash is a
much more sensible choice for /bin/sh, and that doesn't prevent bash
from being the default interactive login shell for users (where dash
becomes IMHO less relevant).

Dridi
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org

Reply via email to