On Thu, Nov 15, 2018 at 09:14:19PM +0100, Michael Biebl wrote: > On Thu, 15 Nov 2018 11:37:51 -0800 Josh Triplett <j...@joshtriplett.org> > wrote: > > On Thu, Nov 15, 2018 at 01:18:34PM +0100, Thorsten Glaser wrote: > > > On Thu, 15 Nov 2018, Dmitry Bogatov wrote: > > > > > > > I tend to agree. Dear co-maintainers, do you have objections? Any > > > > > > I do have an objection — a veto even. > > > > > > Installation instructions throughout the world say that “add the > > > following script lines to /etc/rc.local”. None of them says to > > > add the +x bit, and that’s arcane anyway (in BSD, rc.local is > > > run even without the +x bit set). > > > > > > I would be massively surprised if I installed a system, added > > > something to rc.local, and it were not run. > > > > The comments at the top of that script explicitly say: > > > > # In order to enable or disable this script just change the execution > > # bits. > > > > Are you saying that even *with* that comment you'd be surprised? > > > > (Personally, I *wish* that /etc/rc.local didn't exist at all by default > > and you had to *create* it if you wanted it used.) > > Just wanted to chime in here: > A default Debian installation using systemd will no longer create a > /etc/rc.local file. If you have such a file, this means you probably > have an older system which was upgraded. > sysvinit is of course free to create and ship such a file by default but > I think /etc/rc.local is a bad interface, so the systemd package will > not create it on its own.
That's good to know, thank you; that fully addresses my concern, and I'm happy to have this closed as wontfix.