diff options
| -rw-r--r-- | gnu/system.scm | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index c2d31de15d..e1337da749 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -486,6 +486,13 @@ we're running in the final root." ((initrd ((operating-system-initrd os) boot-file-systems))) (return #~(string-append #$initrd "/initrd")))) +(define (kernel->grub-label kernel) + "Return a label for the GRUB menu entry that boots KERNEL." + (string-append "GNU system with " + (string-titlecase (package-name kernel)) " " + (package-version kernel) + " (technology preview)")) + (define (operating-system-grub.cfg os) "Return the GRUB configuration file for OS." (mlet* %store-monad @@ -493,10 +500,7 @@ we're running in the final root." (root-fs -> (operating-system-root-file-system os)) (kernel -> (operating-system-kernel os)) (entries -> (list (menu-entry - (label (string-append - "GNU system with " - (package-full-name kernel) - " (technology preview)")) + (label (kernel->grub-label kernel)) (linux kernel) (linux-arguments (list (string-append "--root=" |