[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26544: [PATCH v4 06/10] scripts: Make boot-parameters label include
From: |
Danny Milosavljevic |
Subject: |
bug#26544: [PATCH v4 06/10] scripts: Make boot-parameters label include generation number and time. |
Date: |
Fri, 21 Apr 2017 14:37:10 +0200 |
* guix/scripts/system.scm (system->boot-parameters): Make label include
generation number and time.
---
guix/scripts/system.scm | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/guix/scripts/system.scm b/guix/scripts/system.scm
index b278b6683..5e4e0df20 100644
--- a/guix/scripts/system.scm
+++ b/guix/scripts/system.scm
@@ -369,8 +369,13 @@ it atomically, and then run OS's activation script."
NUMBERS, which is a list of generation numbers."
(define (system->boot-parameters system number time)
(unless-file-not-found
- (let* ((params (read-boot-parameters-file system)))
- params)))
+ (let* ((params (read-boot-parameters-file system))
+ (label (boot-parameters-label params)))
+ (boot-parameters
+ (inherit params)
+ (label (string-append label " (#"
+ (number->string number) ", "
+ (seconds->string time) ")"))))))
(let* ((systems (map (cut generation-file-name profile <>)
numbers))
(times (map (lambda (system)
- bug#26544: [PATCH v4 03/10] system: Factorize operating-system-boot-parameters-file., (continued)
- 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, 2017/04/21
- 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 <=
- 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
- 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
- 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/22