Problem with 'guix system reconfigure ... ' ?

Problem with 'guix system reconfigure ... ' ?

[jordila]

[-- Attachment #1: Type: text/plain, Size: 466 bytes --]

heya guixers ! i have a problem: while trying to 'guix system reconfigure /etc/config.scm' (see attached file)  in order to switch from Linux-libre to Linux Kernel.

Guix says : "guix system: error: failed to load
    '/etc/config.scm':  ice-9/boot-9.scm:3330:6: In procedure resolve-interface: no code formodule (nongnu packages linux)" .

NOTE : i have both guix and nonguix channels enabled

What am i missing ? Thanks, thanks, thanks !

Fenix
 

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: config.scm --]
[-- Type: text/x-scheme, Size: 4227 bytes --]

;; This is an operating system configuration generated
;; by the graphical installer.
;;
;; Once installation is complete, you can learn and modify
;; this file to tweak the system configuration, and pass it
;; to the 'guix system reconfigure' command to effect your
;; changes.


;; Indicate which modules to import to access the variables
;; used in this configuration.
(use-modules (gnu) (nongnu packages linux))
(use-service-modules cups desktop networking ssh xorg syncthing)

(operating-system
 (kernel linux)
 (firmware (list linux-firmware))
  (locale "en_US.utf8")
  (timezone "Europe/Andorra")
  (keyboard-layout (keyboard-layout "es" "cat"))
  (host-name "rigel")

;;(hosts-file (local-file (string-append %current-directory "my-hosts-file")))
  ;;  (hosts-file (local-file "/etc/my-hosts"))
  ;; hosts list - see .config/ssh/config 
  (hosts-file
  (plain-file "hosts"
               (string-append
                "127.0.0.1 locahost rigel\n"

		;; T420 - YunoHost
                "192.168.1.121	librebits.noho.st\n"

		;; DigitalOcean VPS
		"64.225.79.195 	sirio\n"

		;; Netcup VPS s
		;; ssh port 22->119 :
		"5.45.110.193	proximacentauri\n"
		"45.79.250.66	gaminedes\n"

		;; Linode VPS
		"188.68.35.39	jupiter\n"

		;; Gandi
		"185.26.126.77	asterix\n"

;;                "127.0.0.1 guile.web.server.com guile.web.com www.date.com date.com\n"
                ;;%other-hosts-file-lines
                "::1 localhost rigel"
                )))
  

  ;; The list of user accounts ('root' is implicit).
  (users (cons* (user-account
                  (name "fenix")
                  (comment "Fenix")
                  (group "users")
                  (home-directory "/home/fenix")
                  (supplementary-groups '("wheel" "netdev" "audio" "video")))
                %base-user-accounts))

  (sudoers-file (plain-file "sudoers" "\
root ALL=(ALL) ALL
%wheel ALL=NOPASSWD: ALL\n"))

  
  (packages (append (list (specification->package "i3-wm")
                          (specification->package "i3status")
                          (specification->package "dmenu")
                          (specification->package "st")
                          (specification->package "emacs")
                          (specification->package "emacs-exwm")
                          (specification->package
                           "emacs-desktop-environment")
                          (specification->package "nss-certs"))
                    %base-packages))

  ;; Below is the list of system services.  To search for available
  ;; services, run 'guix system search KEYWORD' in a terminal.
  (services
   (append (list 
		 
                 ;; To configure OpenSSH, pass an 'openssh-configuration'
	    ;; record as a second argument to 'service' below.
	    (service openssh-service-type)
                 (service xfce-desktop-service-type)
                 (set-xorg-configuration
                  (xorg-configuration (keyboard-layout keyboard-layout)))

	          (service syncthing-service-type
                      (syncthing-configuration (user "fenix"))))

  

           ;; This is the default list of services we
           ;; are appending to.
           %desktop-services))
  (bootloader (bootloader-configuration
                (bootloader grub-efi-bootloader)
                (targets (list "/boot/efi"))
                (keyboard-layout keyboard-layout)))
  (swap-devices (list (swap-space
                        (target (uuid
                                 "576eb296-39c9-4cea-aa10-0674ff281382")))))

  ;; The list of file systems that get "mounted".  The unique
  ;; file system identifiers there ("UUIDs") can be obtained
  ;; by running 'blkid' in a terminal.
  (file-systems (cons* (file-system
                         (mount-point "/boot/efi")
                         (device (uuid "DAE3-ED7E"
                                       'fat32))
                         (type "vfat"))
                       (file-system
                         (mount-point "/")
                         (device (uuid
                                  "dce12d68-4bb7-453e-82ad-0dc8e8c079e0"
                                  'ext4))
                         (type "ext4")) %base-file-systems)))

Re: Problem with 'guix system reconfigure ... ' ?

[Felix Lechner via]

Hi Fenix,

On Mon, Nov 14, 2022 at 4:00 PM jordila@librebits.info
<jordila@librebits.info> wrote:
>
> no code formodule (nongnu packages linux)" .

I believe that our project's etiquette would direct your question to a
nonguix forum.

I am not sure whether there is a mailing list. Personally, I would ask
in #nonguix on IRC.

On their project site, however, I read the general remark that "Guix
System will only use the substitution server after it has been
reconfigured. The substitution server will therefore by default not be
used the first time you run guix system reconfigure after adding the
substitution server. It is therefore recommended to explicitly specify
the use of the substitution server the first time you reconfigure your
system:"

Hope that helps!

Kind regards
Felix Lechner

Problem with 'guix system reconfigure ... ' ?

[Jordi]

Well, i' ve just noticed the system image i use does not have the channels enabled.

Weird...Now i see it.
May guess is that i may i setup /etc/config.scm  properly and it will do the job.

  Thanks, thanks, thanks
 
Fenix