RHEL and Fedora have an alternatives system: * https://docs.fedoraproject.org/en-US/packaging-guidelines/Alternatives/ * https://www.linux.org/docs/man8/alternatives.html
Then it looks like the correct way to proceed, if Eric can coordinate with
the maintainers of the filesystem and bash packages. -- Laurent
