efi vs bios grub detection

OpenSubmitted by buen ouanq.
Details
2 participants
  • buen ouanq
  • zimoun
Owner
unassigned
Severity
normal
B
B
buen ouanq wrote on 23 Jul 2017 00:22
(address . bug-guix@gnu.org)
CAEeLLqrEgKAUnzrf4TgHKjrF4Oh38gcdkScfncBNL1vsh1PYaQ@mail.gmail.com
It was recommended in the IRC room that I send this email.I struggled all yesterday failing to get GRUB (and thus GuixSD) to installin ways that I was positive had worked before.Turns out the installation USB had booted UEFI rather than BIOS, so itrefused to install what I understood to be the default (BIOS GRUB), eventhough I had done and partitioned everything correctly, and there were nomeaningful hints as to why.It would be nice if there was a little note about this in the installguide, something along the lines of, `EFI/BIOS detection for GRUB dependson how the installation image was booted.' (or whatever it actually does,I'm not sure really).
Thank you.
Attachment: file
Z
Z
zimoun wrote on 18 Dec 2020 21:13
(address . 27794@debbugs.gnu.org)
864kkivpn6.fsf@gmail.com
Hi,
On Sat, 22 Jul 2017 at 16:22, buen ouanq <buenouanq@gmail.com> wrote:
Toggle quote (11 lines)> 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 isrelevant anymore. If it is, could you provide moreinfo. Otherwise, Iwill close it after the usual 3 weeks delay.
http://issues.guix.gnu.org/issue/27794

All the best,simon
Z
Z
zimoun wrote on 11 Jan 14:01 +0100
(name . buen ouanq)(address . buenouanq@gmail.com)
867dojtypb.fsf@gmail.com
Hi,
On Fri, 18 Dec 2020 at 21:13, zimoun <zimon.toutoune@gmail.com> wrote:
Toggle quote (19 lines)> On Sat, 22 Jul 2017 at 16:22, buen ouanq <buenouanq@gmail.com> 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.>> <http://issues.guix.gnu.org/issue/27794>
If no moreinfo, I will close this bug in the coming days.

All the best,simon
?