[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26544: [PATCH v4 08/10] system: Use operating-system-boot-parameters
From: |
Danny Milosavljevic |
Subject: |
bug#26544: [PATCH v4 08/10] system: Use operating-system-boot-parameters directly. |
Date: |
Fri, 21 Apr 2017 14:37:12 +0200 |
* gnu/system.scm (operating-system-bootcfg): Use
operating-system-boot-parameters directly.
---
gnu/system.scm | 28 ++++------------------------
1 file changed, 4 insertions(+), 24 deletions(-)
diff --git a/gnu/system.scm b/gnu/system.scm
index 9921a9786..90fea9af3 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -750,33 +750,13 @@ populate the \"old entries\" menu."
(mlet* %store-monad
((system (operating-system-derivation os))
(root-fs -> (operating-system-root-file-system os))
- (store-fs -> (operating-system-store-file-system os))
- (label -> (kernel->boot-label (operating-system-kernel os)))
- (kernel -> (operating-system-kernel-file os))
- (initrd (operating-system-initrd-file os))
(root-device -> (if (eq? 'uuid (file-system-title root-fs))
(uuid->string (file-system-device root-fs))
(file-system-device root-fs)))
- (entries -> (list (menu-entry
- (label label)
-
- ;; The device where the kernel and initrd live.
- (device (fs->boot-device store-fs))
- (device-mount-point
- (file-system-mount-point store-fs))
-
- (linux kernel)
- (linux-arguments
- (cons* (string-append "--root=" root-device)
- #~(string-append "--system=" #$system)
- #~(string-append "--load=" #$system
- "/boot")
- (operating-system-kernel-arguments os
- system
-
root-device)))
- (initrd initrd)))))
- (grub-configuration-file (operating-system-bootloader os) entries
- #:old-entries old-entries)))
+ (entry (operating-system-boot-parameters os system root-device)))
+ (grub-configuration-file (operating-system-bootloader os)
+ (list entry)
+ #:old-entries old-entries)))
(define (fs->boot-device fs)
"Given FS, a <file-system> object, return a value suitable for use as the
- bug#26544: [PATCH v3 8/9] system: grub: Use boot-parameters instead of menu-entry where possible., (continued)
- bug#26544: [PATCH v3 8/9] system: grub: Use boot-parameters instead of menu-entry where possible., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v3 7/9] system: Use operating-system-boot-parameters directly., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v3 6/9] system: vm: Use operating-system-kernel-arguments., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v3 5/9] scripts: Make boot-parameters label include generation number and time., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v3 9/9] scripts: Remove profile-grub-entries., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 00/10] system: Move "--load" and other guix-specific parameters from the grub module to the generic system module., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 03/10] system: Factorize operating-system-boot-parameters-file., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 03/10] system: Factorize operating-system-boot-parameters-file., Danny Milosavljevic, 2017/04/22
- bug#26544: [PATCH v4 04/10] system: Introduce operating-system-kernel-arguments and use it., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 05/10] system: Introduce read-boot-parameters-file., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 08/10] system: Use operating-system-boot-parameters directly.,
Danny Milosavljevic <=
- bug#26544: [PATCH v4 09/10] system: grub: Use boot-parameters instead of menu-entry where possible., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 02/10] system: Rename operating-system-parameters-file to operating-system-boot-parameters-file., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 02/10] system: Rename operating-system-parameters-file to operating-system-boot-parameters-file., Danny Milosavljevic, 2017/04/22
- bug#26544: [PATCH v4 01/10] system: Rename operating-system-kernel-arguments to operating-system-user-kernel-arguments., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 01/10] system: Rename operating-system-kernel-arguments to operating-system-user-kernel-arguments., Danny Milosavljevic, 2017/04/22
- bug#26544: [PATCH v4 06/10] scripts: Make boot-parameters label include generation number and time., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 06/10] scripts: Make boot-parameters label include generation number and time., Danny Milosavljevic, 2017/04/22
- bug#26544: [PATCH v4 07/10] system: vm: Use operating-system-kernel-arguments., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 10/10] scripts: Remove profile-grub-entries., Danny Milosavljevic, 2017/04/21
- bug#26544: [PATCH v4 10/10] scripts: Remove profile-grub-entries., Mathieu Othacehe, 2017/04/21