Thanks for the quick reply.
> > After "guix pull" and "guix system reconfigure /etc/config.scm", I
> > remember
> > seeing a message that linux-libre moved to version 6.12, but when I
> > reboot,
> > the version is 6.11.11.
> >
> > Am I misunderstanding how to udpate my system?
>
> It would seem that it didn't work as expected, because linux-libre 6.11
> no longer exists as part of Guix.
>
> If you'd like some help with this, please share the exact commands you
> used to update your system, and also the output of `guix system
> describe`.
My commands were exactly "guix pull" and "guix system reconfigure
/etc/config.scm".
david@guix-vm ~$ LC_ALL=C guix system describe
Generation 8 Jan 09 2025 21:15:25 (current)
file name: /var/guix/profiles/system-8-link
canonical file name: /gnu/store/7a6k0kjmcy6kvrf34g6dl7y123qxrz48-system
label: GNU with Linux-Libre 6.11.11
bootloader: grub
root device: UUID: b6978f14-2199-4bf9-8cfd-a05513c274f7
kernel: /gnu/store/a489k7iafa6k83gw1frl42jyxghh6r20-linux-libre-
6.11.11/bzImage
channels:
guix:
repository URL: https://git.savannah.gnu.org/git/guix.git
branch: master
commit: ce3ffac5d366ebf20e0d95779f2fe1ea6dde0202
configuration file: /gnu/store/9yw997gz6p6xlr6hyg4hiqkjnz8h2zrr-
configuration.scm
/etc/config.scm:
(use-modules
(gnu services syncthing)
(gnu))
(use-service-modules cups desktop networking ssh xorg)
(operating-system
(locale "fr_FR.utf8")
(timezone "Europe/Paris")
(keyboard-layout (keyboard-layout "fr"))
(host-name "guix-vm")
(users (cons* (user-account
(name "david")
(comment "David Lecompte")
(group "users")
(home-directory "/home/david")
(supplementary-groups '("wheel" "netdev" "audio"
"video")))
%base-user-accounts))
(packages (append (list (specification->package "nss-certs"))
%base-packages))
(services
(append (list (service gnome-desktop-service-type)
(service plasma-desktop-service-type)
(service openssh-service-type)
(service syncthing-service-type
(syncthing-configuration (user "david")))
(set-xorg-configuration
(xorg-configuration (keyboard-layout keyboard-layout))))
%desktop-services))
(bootloader (bootloader-configuration
(bootloader grub-bootloader)
(targets (list "/dev/sda"))
(keyboard-layout keyboard-layout)))
(swap-devices (list (swap-space
(target (uuid
"9e1011b5-21ea-4aaf-a774-e618ca84136d")))))
(file-systems (cons* (file-system
(mount-point "/")
(device (uuid
"b6978f14-2199-4bf9-8cfd-a05513c274f7"
'ext4))
(type "ext4")) %base-file-systems)))
