GNU bug report logs - #30760
'initrd-modules' check has false positives

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#30760: closed (guix system init broken on non GuixSD)
Date: Sun, 11 Mar 2018 16:32:01 +0000

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

Your message dated Sun, 11 Mar 2018 17:31:18 +0100
with message-id <20180311173118.69f09b07 <at> scratchpost.org>
and subject line Re: bug#30760: guix system init broken on non GuixSD
has caused the debbugs.gnu.org bug report #30760,
regarding guix system init broken on non GuixSD
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
30760: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=30760
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Tomáš Čech <sleep_walker <at> gnu.org>
To: bug-guix <at> gnu.org
Subject: guix system init broken on non GuixSD
Date: Fri, 9 Mar 2018 18:35:30 +0100

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

`guix system init` seems to be broken for non GuixSD distirbutions:
When I tried it on openSUSE:

# guix system --no-bootloader init /Devel/git/guix-config/config.scm /mnt/mnt/
;;; note: source file /Devel/extra/gnu/packages/connman.scm
;;;       newer than compiled /root/.config/guix/latest/gnu/packages/connman.go
;;; note: source file /Devel/extra/gnu/packages/connman.scm
;;;       newer than compiled /usr/lib64/guile/2.2/site-ccache/gnu/packages/connman.go
;;; note: source file /Devel/extra/gnu/packages/connman.scm
;;;       newer than compiled /usr/lib64/guile/2.2/site-ccache/gnu/packages/connman.go
guix system: error: open-file: No such file or directory: "/run/booted-system/kernel/lib/modules/4.15.6-1-default/modules.alias"

4.15.6-1-default is version of my running kernel, but not defined as package - it is not expected to be used for guix call.

/run/booted-system/ is specific for GuixSD.

[signature.asc (application/pgp-signature, inline)]

[Message part 5 (message/rfc822, inline)]

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: Tomáš Čech <sleep_walker <at> gnu.org>,
 30760-done <at> debbugs.gnu.org
Subject: Re: bug#30760: guix system init broken on non GuixSD
Date: Sun, 11 Mar 2018 17:31:18 +0100

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

Hi Ludo,

> BTW, we should add a ‘--skip-checks’ option to ‘guix system’ so that
> users can skip those checks.  That’d provide an escape hatch in case
> ‘check-device-initrd-modules’ makes the wrong diagnostic.

Yeah, good idea!

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

Previous Next

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