system: Remove "beta" from GRUB menu entries.

* gnu/system.scm (kernel->boot-label): Remove "(beta)".
This commit is contained in:
Ludovic Courtès 2019-04-14 23:30:52 +02:00
parent 7cd38788e6
commit 4ce3a32680
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -911,13 +911,11 @@ (define (kernel->boot-label kernel)
(cond ((package? kernel)
(string-append "GNU with "
(string-titlecase (package-name kernel)) " "
(package-version kernel)
" (beta)"))
(package-version kernel)))
((inferior-package? kernel)
(string-append "GNU with "
(string-titlecase (inferior-package-name kernel)) " "
(inferior-package-version kernel)
" (beta)"))
(inferior-package-version kernel)))
(else "GNU")))
(define (store-file-system file-systems)