On 10/26/18 12:21 PM, Thorsten Glaser wrote: > On Fri, 26 Oct 2018, Jesse Smith wrote: > >> user "wins", but that means overriding /etc/default/init > Define “override”. Command line normally overrides configuration > files in Unix, if that’s what you mean. If by “overriding” you > mean writing to that file, replacing its content, then that’s > not a very good idea… >
I mean the behaviour of /etc/init.d/halt is determined by /etc/default/halt, not by the command line. The behaviour of that script is set by the administrator. And I agree, command line options usually do override configuration files. And maybe it should here, but that's up to whomever is maintaining the /etc/init.d/halt script.