----- 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
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
