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.)
