diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 03:23:30 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 15:35:43 +0200 |
| commit | 651de2bdb5fd451c50933dcf8d647d470d826261 (patch) | |
| tree | 3a3d72378dbb3c744e7b2b17c363b743549eee34 /gnu/build | |
| parent | c9a6a36fec5b17948408c667f9779c9c8670f015 (diff) | |
build, vm: Use "GuixSD" or "GUIXSD" as volume label.
* gnu/build/vm.scm (initialize-hard-disk): Use "GuixSD" as label.
* gnu/system/install.scm (installation-os): Use "GuixSD" as label.
* gnu/system/vm.scm (system-disk-image): Use "GuixSD" or "GUIXSD" as volume
label.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/build')
| -rw-r--r-- | gnu/build/vm.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/build/vm.scm b/gnu/build/vm.scm index e631e5a834..2d41c5756b 100644 --- a/gnu/build/vm.scm +++ b/gnu/build/vm.scm @@ -431,7 +431,7 @@ passing it a directory name where it is mounted." (lambda (port) (format port "insmod part_msdos~@ - search --set=root --label gnu-disk-image~@ + search --set=root --label GuixSD~@ configfile /boot/grub/grub.cfg~%"))) (display "creating EFI firmware image...") |