----- Original Message ----- > On Fri, Oct 03, 2014 at 02:29:53PM -0600, Orion Poplawski wrote: > > >Is it worth considering using Dash as the default (non-interactive) > > >shell in Fedora? Other distributions including Ubuntu and Debian > > >(https://lwn.net/Articles/343924/) have been using dash as the default > > >shell and Android uses mksh. While this appears to have been done > > >primary to increase bootup efficiency (which is not relevant with > > >systemd), it might help with security > > > > More bashism's in .spec files: > > + pushd src > > /tmp/rpm/rpm-tmp.047Jay: 43: /tmp/rpm/rpm-tmp.047Jay: pushd: not found > > All the other things aside, I think it'd be fine for us to leave bash as the > shell for spec file scripts even if we changed /bin/sh and/or the root > shell. At that point switching anything to dash can _only increase_, not reduce, the disk space needed, and is very likely to increase the total page cache usage/requirement as well. Bringing the benefits of supporting dash to… the satisfaction of pedantically using the POSIX /bin/sh path as frequently as possible? Mirek -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
