GNU bug report logs - #27794
efi vs bios grub detection

Previous Next

Package: guix;

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.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 27794 in the body.
You can then email your comments to 27794 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#27794; Package guix. (Sat, 22 Jul 2017 23:02:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to buen ouanq <buenouanq <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Sat, 22 Jul 2017 23:02:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: buen ouanq <buenouanq <at> gmail.com>
To: bug-guix <at> gnu.org
Subject: efi vs bios grub detection
Date: Sat, 22 Jul 2017 16:22:23 -0600
[Message part 1 (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 2 (text/html, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#27794; Package guix. (Fri, 18 Dec 2020 20:15:02 GMT) Full text and rfc822 format available.

Message #8 received at 27794 <at> debbugs.gnu.org (full text, mbox):

From: zimoun <zimon.toutoune <at> gmail.com>
To: buen ouanq <buenouanq <at> gmail.com>, Mathieu Othacehe <othacehe <at> gnu.org>
Cc: 27794 <at> debbugs.gnu.org
Subject: Re: bug#27794: efi vs bios grub detection
Date: Fri, 18 Dec 2020 21:13:33 +0100
Hi,

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>


All the best,
simon




Information forwarded to bug-guix <at> gnu.org:
bug#27794; Package guix. (Mon, 11 Jan 2021 13:08:02 GMT) Full text and rfc822 format available.

Message #11 received at 27794 <at> debbugs.gnu.org (full text, mbox):

From: zimoun <zimon.toutoune <at> gmail.com>
To: buen ouanq <buenouanq <at> gmail.com>
Cc: Mathieu Othacehe <othacehe <at> gnu.org>, 27794 <at> debbugs.gnu.org
Subject: Re: bug#27794: efi vs bios grub detection
Date: Mon, 11 Jan 2021 14:01:04 +0100
Hi,

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.


All the best,
simon




Reply sent to zimoun <zimon.toutoune <at> gmail.com>:
You have taken responsibility. (Wed, 24 Mar 2021 22:10:03 GMT) Full text and rfc822 format available.

Notification sent to buen ouanq <buenouanq <at> gmail.com>:
bug acknowledged by developer. (Wed, 24 Mar 2021 22:10:03 GMT) Full text and rfc822 format available.

Message #16 received at 27794-done <at> debbugs.gnu.org (full text, mbox):

From: zimoun <zimon.toutoune <at> gmail.com>
To: buen ouanq <buenouanq <at> gmail.com>
Cc: 27794-done <at> debbugs.gnu.org
Subject: Re: bug#27794: efi vs bios grub detection
Date: Wed, 24 Mar 2021 23:00:39 +0100
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




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 22 Apr 2021 11:24:09 GMT) Full text and rfc822 format available.

This bug report was last modified 2 years and 341 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.