#30847 - Cannot upgrade GuixSD due to check-device-initrd-modules

Package	Source(s)		Maintainer(s)
guix		PTS Buildd Popcon

Message #8 received at 30847@debbugs.gnu.org (full text, mbox, reply):

Received: (at 30847) by debbugs.gnu.org; 18 Mar 2018 22:33:43 +0000
From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 18 18:33:43 2018
Received: from localhost ([127.0.0.1]:40456 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1exgs2-00010J-WB
	for submit@debbugs.gnu.org; Sun, 18 Mar 2018 18:33:43 -0400
Received: from dd26836.kasserver.com ([85.13.145.193]:53944)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <dannym@scratchpost.org>) id 1exgs0-000109-Po
 for 30847@debbugs.gnu.org; Sun, 18 Mar 2018 18:33:41 -0400
Received: from localhost (77.118.190.99.wireless.dyn.drei.com [77.118.190.99])
 by dd26836.kasserver.com (Postfix) with ESMTPSA id D32E733600D8;
 Sun, 18 Mar 2018 23:33:38 +0100 (CET)
Date: Sun, 18 Mar 2018 23:33:31 +0100
From: Danny Milosavljevic <dannym@scratchpost.org>
To: Adam Van Ymeren <adam@vany.ca>
Subject: Re: bug#30847: Cannot upgrade GuixSD due to
 check-device-initrd-modules
Message-ID: <20180318233331.59bc54e1@scratchpost.org>
In-Reply-To: <87zi351h0t.fsf@vany.ca>
References: <87zi351h0t.fsf@vany.ca>
X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu)
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
 boundary="Sig_/7XU_3qSGwxLb7OPvhDJ78W8"; protocol="application/pgp-signature"
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 30847
Cc: 30847@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -0.7 (/)

[Message part 1 (text/plain, inline)]

Hi Adam,

On Sun, 18 Mar 2018 12:32:18 -0400
Adam Van Ymeren <adam@vany.ca> wrote:

> Fundamentally I think the problem is that check-device-initrd-modules is
> checking modules for the currently running kernel which is not
> necessarily the kernel that I will be installing.

Yeah, otherwise it would have to build everything first.

> At the very least however it would be nice if I could override this
> check with a --i-know-what-im-doing flag of some sort.

It exists: --skip-checks

> It seems odd that check-device-initrd-modules will not prevent your
> installation from continuing if it can't find modules.alias, but if it
> can find it and you didn't specify the initrd-modules it thinks you need
> then it becomes a hard error that you can't override. 
> Perhaps it should
> always be a warning or prompt the user if they want to continue.

Yeah, I'd prefer a warning and sleep 5 since the result is not guaranteed to be
correct.

Also it would be possible to build a Frankenstein's monster version where it
checks the new kernel config and finds out which modules would be builtin
(that would involve a lot of Makefile and Kconfig parsing... ugh).

An additional more complete check (with the new kernel etc) at the end would
make sense.

[Message part 2 (application/pgp-signature, inline)]

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Tue Sep 9 17:38:04 2025; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

#30847 Cannot upgrade GuixSD due to check-device-initrd-modules