From 6cea61f2fab26716cd8c2394fc83eac9985f9d97 Mon Sep 17 00:00:00 2001 From: "Jan (janneke) Nieuwenhuizen" Date: Sun, 24 May 2020 12:41:32 +0200 Subject: linux-boot: Update 'make-hurd-device-nodes'. * gnu/build/linux-boot.scm (make-hurd-device-nodes): Avoid de-duplication of device mount points; also create mount points for /servers/. --- gnu/build/linux-boot.scm | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'gnu') diff --git a/gnu/build/linux-boot.scm b/gnu/build/linux-boot.scm index f08bb11514..d62c670684 100644 --- a/gnu/build/linux-boot.scm +++ b/gnu/build/linux-boot.scm @@ -337,6 +337,7 @@ one specific hardware device. These we have to create." (for-each (lambda (file) (call-with-output-file (scope file) (lambda (port) + (display file port) ;avoid hard-linking (chmod port #o666)))) '("dev/null" "dev/zero" @@ -347,6 +348,20 @@ one specific hardware device. These we have to create." ;; console-run on first boot. (mkdir (scope "servers")) + (for-each (lambda (file) + (call-with-output-file (scope (string-append "servers/" file)) + (lambda (port) + (display file port) ;avoid hard-linking + (chmod port #o444)))) + '("startup" + "exec" + "proc" + "password" + "default-pager" + "crash-dump-core" + "kill" + "suspend")) + (mkdir (scope "servers/socket")) ;; Don't create /servers/socket/1 & co: runsystem does that on first boot. -- cgit v1.2.3