GNU bug report logs -
#27794
efi vs bios grub detection
Previous Next
Reported by: buen ouanq <buenouanq <at> gmail.com>
Date: Sat, 22 Jul 2017 23:02:02 UTC
Severity: normal
Done: zimoun <zimon.toutoune <at> gmail.com>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
[Message part 1 (text/plain, inline)]
Your bug report
#27794: efi vs bios grub detection
which was filed against the guix package, has been closed.
The explanation is attached below, along with your original report.
If you require more details, please reply to 27794 <at> debbugs.gnu.org.
--
27794: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=27794
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
Hi,
On Mon, 11 Jan 2021 at 14:01, zimoun <zimon.toutoune <at> gmail.com> wrote:
> On Fri, 18 Dec 2020 at 21:13, zimoun <zimon.toutoune <at> gmail.com> wrote:
>> On Sat, 22 Jul 2017 at 16:22, buen ouanq <buenouanq <at> 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.
Since no moreinfo after a long a delay, closing!
All the best,
simon
[Message part 3 (message/rfc822, inline)]
[Message part 4 (text/plain, inline)]
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).
Thank you.
[Message part 5 (text/html, inline)]
This bug report was last modified 4 years and 62 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.