diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-11-11 22:28:57 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-11 22:42:42 +0100 |
commit | 42de960878afb022bbc0bf9e7d31d7e0d8c2bd33 (patch) | |
tree | e605fdcfdf11e27996e814e11981826d252659ab /gnu | |
parent | 906b1b09861e5fcc8ef0b0de8e692d5fea95a976 (diff) |
system: Shorten the default label for GRUB entries.
* gnu/system.scm (kernel->grub-label): Shorten entry labels.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/system.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 2ac803986f..f98aa83f62 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -658,10 +658,10 @@ we're running in the final root." (define (kernel->grub-label kernel) "Return a label for the GRUB menu entry that boots KERNEL." - (string-append "GNU system with " + (string-append "GNU with " (string-titlecase (package-name kernel)) " " (package-version kernel) - " (technology preview)")) + " (alpha)")) (define* (operating-system-grub.cfg os #:optional (old-entries '())) "Return the GRUB configuration file for OS. Use OLD-ENTRIES to populate the |