On Fri, Jun 21, 2013 at 05:23:51PM +0200, Fabio Erculiani wrote:
> I think that sysvinit's /sbin/init should be renamed to /sbin/sysvinit
> (or /bin/sysvinit?), anyway...

Feel free to file a request with sysvinit upstream to see if they will
do this; I don't think we should be randomly renaming files at the
distro level.

William