[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: It's Huntin' Season

Malcolm Parsons wrote:
> Bug #118987 was closed with this explanation:
> That's because all settings for devpts.sh are set in
> /etc/default/devpts. So there should be no need to change devpts.sh.
> Should this bug be reopened with a serious severity?

Yes, and a whap on the head for anyone who could so badly misinterprit
policy, which is quite unambiguous on this point:

     The `/etc/init.d' scripts should be treated as configuration files,
     either by marking them as `conffile's or managing them correctly in
     the maintainer scripts (see Section 11.7, `Configuration

see shy jo, who introduced the /etc/default/ files amendment to policy,
            and never intended it to make /etc/init.d/ files not be
	    conffiles any more.

Reply to: