diff options
| author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-05-24 12:41:32 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-06-08 13:51:18 +0200 |
| commit | 6cea61f2fab26716cd8c2394fc83eac9985f9d97 (patch) | |
| tree | 65fc6d6f8c336c278b141f32dfbce9e3d944974a /gnu/build | |
| parent | 1428926f1f0d7577cd2de8d019a27f8082855d03 (diff) | |
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/.
Diffstat (limited to 'gnu/build')
| -rw-r--r-- | gnu/build/linux-boot.scm | 15 |
1 files changed, 15 insertions, 0 deletions
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. |