[- 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. -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net