[- guile-devel, +guix-devel], sorry!
Jan Nieuwenhuizen <jann...@gnu.org> writes:
> Ricardo Wurmus writes:
>> If you forgot to set the file system label for the root file system to the
>> label you specified in the operating system configuration file then you won't
>> be able to boot.
> What about adding a check if / can be mounted before installing Grub?
Yes, I think it would be good to somehow verify that the system can
actually be initialised as requested. This might be a little
complicated with mapped devices, however.
GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC