summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-11-11 22:28:57 +0100
committerLudovic Courtès <ludo@gnu.org>2014-11-11 22:42:42 +0100
commit42de960878afb022bbc0bf9e7d31d7e0d8c2bd33 (patch)
treee605fdcfdf11e27996e814e11981826d252659ab /gnu
parent906b1b09861e5fcc8ef0b0de8e692d5fea95a976 (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.scm4
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