Hi, On Fri, 18 Dec 2020 at 21:13, zimoun wrote: > On Sat, 22 Jul 2017 at 16:22, buen ouanq wrote: >> It was recommended in the IRC room that I send this email. I >> struggled all yesterday failing to get GRUB (and thus GuixSD) to >> install in ways that I was positive had worked before. Turns out the >> installation USB had booted UEFI rather than BIOS, so it refused to >> install what I understood to be the default (BIOS GRUB), even though I >> had done and partitioned everything correctly, and there were no >> meaningful hints as to why. It would be nice if there was a little >> note about this in the install guide, something along the lines of, >> `EFI/BIOS detection for GRUB depends on how the installation image was >> booted.' (or whatever it actually does, I'm not sure really). > > This bug is very old and had been forgotten. I do not think it is > relevant anymore. If it is, could you provide moreinfo. Otherwise, I > will close it after the usual 3 weeks delay. > > If no moreinfo, I will close this bug in the coming days. All the best, simon