[debbugs-tracker] bug#30760: closed (guix system init broken on non GuixSD)

[GNU bug Tracking System]

Your message dated Sun, 11 Mar 2018 17:31:18 +0100
with message-id <address@hidden>
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
address@hidden)


-- 
30760: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=30760
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: guix system init broken on non GuixSD Date: Fri, 9 Mar 2018 18:35:30 +0100 User-agent: NeoMutt/20170912 (1.9.0)

`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
Description: Digital signature

--- End Message ---

--- Begin Message --- Subject: Re: bug#30760: guix system init broken on non GuixSD Date: Sun, 11 Mar 2018 17:31:18 +0100

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!

pgpOM49wF9rKm.pgp
Description: OpenPGP digital signature

--- End Message ---