On Sun, Dec 23, 2018 at 02:58:15PM +0000, Dmitry Bogatov wrote: > [2018-12-21 11:31] Josh Triplett <j...@joshtriplett.org> > > You might consider submitting a patch to GRUB to add runit to that list, > > or better yet making that behavior look for symlinks in /lib/inits/ or > > similar and make an entry for every link that doesn't match /sbin/init. > > (If you do so with fallbacks to the existing entries for systemd and > > sysvinit, that'll make a transition simpler, and GRUB can remove the > > fallbacks as soon as systemd and sysvinit add links in /lib/inits/.) > > > > Does that sound reasonable? > > Sorry, it does not. Why maintain list of special cases, if alternatives > provide systematic solution?
Explicit boot loader support is useful in any case because if your system fails to boot after switching init then you need a way to switch back. (Yes, this is a special case of boot problems that need rescue media; but switching init is an easily-foreseeable special case where teething problems are more likely than usual, and the cost of offering the option is negligible.) -- Colin Watson [cjwat...@debian.org]
