GNU bug report logs - #22281
grub.cfg incorrectly determines root device

Previous Next

Package: guix;

Reported by: ludo <at> gnu.org (Ludovic Courtès)

Date: Sat, 2 Jan 2016 01:41:02 UTC

Severity: normal

Fixed in version 0.9.1

Done: ludo <at> gnu.org (Ludovic Courtès)

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 22281 in the body.
You can then email your comments to 22281 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#22281; Package guix. (Sat, 02 Jan 2016 01:41:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to ludo <at> gnu.org (Ludovic Courtès):
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Sat, 02 Jan 2016 01:41:02 GMT) Full text and rfc822 format available.

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: bug-guix <at> gnu.org
Cc: Christopher Allan Webber <cwebber <at> dustycloud.org>
Subject: grub.cfg incorrectly determines root device
Date: Fri, 01 Jan 2016 21:36:18 +0100

As Chris notes at
<https://lists.gnu.org/archive/html/guix-devel/2015-12/msg00554.html>,
the generated grub.cfg on GuixSD should search the root by UUID or label
rather than by file.

Ludo’.
Information forwarded to bug-guix <at> gnu.org:
bug#22281; Package guix. (Wed, 06 Jan 2016 17:35:02 GMT) Full text and rfc822 format available.

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: 22281 <at> debbugs.gnu.org
Cc: Christopher Allan Webber <cwebber <at> dustycloud.org>
Subject: Re: bug#22281: grub.cfg incorrectly determines root device
Date: Wed, 06 Jan 2016 18:34:14 +0100

ludo <at> gnu.org (Ludovic Courtès) skribis:

> As Chris notes at
> <https://lists.gnu.org/archive/html/guix-devel/2015-12/msg00554.html>,
> the generated grub.cfg on GuixSD should search the root by UUID or label
> rather than by file.

Patch available at
<https://lists.gnu.org/archive/html/guix-devel/2016-01/msg00036.html>.

Ludo’.
Information forwarded to bug-guix <at> gnu.org:
bug#22281; Package guix. (Fri, 22 Jan 2016 07:55:02 GMT) Full text and rfc822 format available.

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: 22281 <at> debbugs.gnu.org
Cc: Christopher Allan Webber <cwebber <at> dustycloud.org>
Subject: Re: bug#22281: grub.cfg incorrectly determines root device
Date: Fri, 22 Jan 2016 08:54:34 +0100

ludo <at> gnu.org (Ludovic Courtès) skribis:

> ludo <at> gnu.org (Ludovic Courtès) skribis:
>
>> As Chris notes at
>> <https://lists.gnu.org/archive/html/guix-devel/2015-12/msg00554.html>,
>> the generated grub.cfg on GuixSD should search the root by UUID or label
>> rather than by file.
>
> Patch available at
> <https://lists.gnu.org/archive/html/guix-devel/2016-01/msg00036.html>.

I went ahead and pushed it as 6b77920.

It’s maybe not a 100% fix in that it will search the root partition by
label or by UUID if and only if a label or UUID is given in the
‘file-system’ object for /.

Anyway, feedback welcome!

Thanks,
Ludo’.
bug marked as fixed in version 0.9.1, send any further explanations to 22281 <at> debbugs.gnu.org and ludo <at> gnu.org (Ludovic Courtès) Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Fri, 05 Feb 2016 13:39:02 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 05 Mar 2016 12:24:05 GMT) Full text and rfc822 format available.
This bug report was last modified 8 years and 47 days ago.

Previous Next

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