[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 03/11] linux-boot: Rename /root/etc/dmd directory.
From: |
Alex Kost |
Subject: |
[PATCH 03/11] linux-boot: Rename /root/etc/dmd directory. |
Date: |
Thu, 28 Jan 2016 00:10:28 +0300 |
* gnu/build/linux-boot.scm (mount-root-file-system): Rename
"/root/etc/dmd" to "/root/etc/shepherd".
---
gnu/build/linux-boot.scm | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/gnu/build/linux-boot.scm b/gnu/build/linux-boot.scm
index 0fc90af..c34a3f7 100644
--- a/gnu/build/linux-boot.scm
+++ b/gnu/build/linux-boot.scm
@@ -242,10 +242,10 @@ the last argument of `mknod'."
is true, mount ROOT read-only and make it a union with a writable tmpfs using
UNIONFS."
(define (mark-as-not-killable pid)
- ;; Tell the 'user-processes' dmd service that PID must be kept alive when
- ;; shutting down.
- (mkdir-p "/root/etc/dmd")
- (let ((port (open-file "/root/etc/dmd/do-not-kill" "a")))
+ ;; Tell the 'user-processes' shepherd service that PID must be kept alive
+ ;; when shutting down.
+ (mkdir-p "/root/etc/shepherd")
+ (let ((port (open-file "/root/etc/shepherd/do-not-kill" "a")))
(chmod port #o600)
(write pid port)
(newline port)
--
2.6.3