> 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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx