On Thu, 15 Nov 2018, Josh Triplett wrote: > Are you saying that even *with* that comment you'd be surprised?
Yes. You probably know how many people read such instructions. But my main point is “not being surprised” and “tons of existing, mostly OS-independent, installation manuals out there”. Plus, the +x bit can easily get lost… or, accidentally (“oh, let’s set all files with a shebang to +x and all others to -x”), restored. It’s not a good indicator. Some version control systems also, for example, don’t handle it (RCS/CVS, which I’m told etckeeper can use), and people editing on DOS/Windows generally set it. > (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.) Oh, please, don’t go stomping over Unix admin tradition here ;-) bye, //mirabilos -- Yes, I hate users and I want them to suffer. -- Marco d'Itri on gmane.linux.debian.devel.general