Re: [PATCH 04/11] services: Rename %do-not-kill-file.

[Alex Kost]

Ludovic Courtès (2016-01-28 13:25 +0300) wrote:

> Alex Kost <address@hidden> skribis:
>
>> * gnu/services/base.scm (%do-not-kill-file): Rename to
>>   "/etc/shepherd/do-not-kill".
>
> Shouldn’t it be merged with patch 03?  Otherwise patch 03 alone would
> break things AIUI, because it would create a different file than the one
> actually used.

OK, you know better (I actually don't understand what these files are
used for).

An interesting thing is that ‘mark-as-not-killable’ from (gnu build
linux-boot) uses "/root/etc/dmd/do-not-kill", while ‘%do-not-kill-file’
is "/etc/dmd/do-not-kill".  These files have always been different
(since commit 7d57cfd) and it didn't break things.  So IIUC it should be
the same file name in both places, right?

-- 
Alex