diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-08-09 11:48:52 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-08-09 15:16:06 +0200 |
| commit | fdafd404325413da4d5fdd717c84e57a51c60fe2 (patch) | |
| tree | 03572ed019e0b6acd0b15fcd2ab17d86dd2f5031 /gnu/system/examples | |
| parent | 95a03aa5c507d48e2cde19ea007b8f90a4e0108a (diff) | |
| download | guix-fdafd404325413da4d5fdd717c84e57a51c60fe2.tar.gz | |
maint: Use a pretty version string in ISO and VM images.
* gnu/system/examples/vm-image.tmpl: Use the 'GUIX_DISPLAYED_VERSION' environment variable in 'label'. * gnu/system/install.scm (%installation-os): Likewise. * Makefile.am (release): Set 'GUIX_DISPLAYED_VERSION'.
Diffstat (limited to 'gnu/system/examples')
| -rw-r--r-- | gnu/system/examples/vm-image.tmpl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/system/examples/vm-image.tmpl b/gnu/system/examples/vm-image.tmpl index c8449c6e95..d46a27978c 100644 --- a/gnu/system/examples/vm-image.tmpl +++ b/gnu/system/examples/vm-image.tmpl @@ -43,7 +43,9 @@ accounts.\x1b[0m (keyboard-layout (keyboard-layout "us" "altgr-intl")) ;; Label for the GRUB boot menu. - (label (string-append "GNU Guix " (package-version guix))) + (label (string-append "GNU Guix " + (or (getenv "GUIX_DISPLAYED_VERSION") + (package-version guix)))) (firmware '()) |