Hello, Am Tue, Feb 11, 2025 at 08:15:06AM +0000 schrieb Laurence Rochfort: > Does guix pull also have separate states for each user and the system?
only for each user. Then it depends which guix is used for reconfiguring the system: - Most people use "sudo" (with additional parameters I do not remember; "-E"?); then it is the user's guix that is used to reconfigure. - I do a "su -" first to become root. Then it is root's guix that is used to reconfigure. In this case, one needs to do a "guix pull" as root. > How do you upgrade packages at the system level, without doing a full > reconfigure? > I have packages defined in my config.scm. Will they only be upgraded at system > level, or will they be included in user profile upgrade? When you do "guix system reconfigure config.scm", the packages are there at the system level, more precisely in /run/current-system/profile/. Then there is no need to also include them into the user profile. When you run "echo $PATH", you will see that the user profile is included before /run/current-system/profile/bin; so both places are searched for binaries. The only way to install packages into this current-system profile is by reconfiguring; but this is usually quite fast. Andreas
