On Thu, Jan 16, 2025 at 09:44:35PM +0100, David Lecompte wrote: > My commands were exactly "guix pull" and "guix system reconfigure > /etc/config.scm".
Okay. Remember that reconfiguring the system requires root privileges, and that `guix pull` works for each user. So, you can't reconfigure unless you are root or you elevate your privileges with sudo or a similar tool. Thus, if you run `guix pull` as your david user, the new linux-libre packages will be available for david. But, they won't be available for root. Nor will `guix system reconfigure` work as david, unless you elevate privileges with `sudo -E`. I recommend elevating privileges in one of two ways: `sudo -i , --login` or `sudo -E, --preserve-env`. The first logs you in as root, and you can `guix pull && guix system reconfigure` as root. The second elevates the privileges of david, and preserves david's environment while doing so. So, you can use david's `guix pull` to reconfigure. Does that make sense? Please don't hesitate to ask for more advice or clarification. It might help to run `guix describe`, `sudo -i guix describe`, and `sudo -E guix describe` to help illustrate what happens. > label: GNU with Linux-Libre 6.11.11 [...] > repository URL: https://git.savannah.gnu.org/git/guix.git > branch: master > commit: ce3ffac5d366ebf20e0d95779f2fe1ea6dde0202 This information is consistent. At the given commit, the default linux-libre is version 6.11.11.
