Re: No upgrade after pull, and Guix philosophy (was: readline problem)

2022-01-31 Thread Ricardo Wurmus
Wiktor Żelazny writes: > [[PGP Signed Part:Undecided]] > On Sun, Jan 30, 2022 at 09:53:14AM +0100, Ricardo Wurmus wrote: >> >> Wiktor Żelazny writes: >> >> > This sounds rather brittle: you need to keep things in your head. >> >> I don’t follow. I don’t see what you’re referring to as “brittl

Re: No upgrade after pull, and Guix philosophy (was: readline problem)

2022-01-31 Thread Wiktor Żelazny
On Sun, Jan 30, 2022 at 09:53:14AM +0100, Ricardo Wurmus wrote: > > Wiktor Żelazny writes: > > > This sounds rather brittle: you need to keep things in your head. > > I don’t follow. I don’t see what you’re referring to as “brittle” and > what you need to keep in your head. When upgrading your p

Re: No upgrade after pull, and Guix philosophy (was: readline problem)

2022-01-30 Thread Ricardo Wurmus
Wiktor Żelazny writes: >> There are also good reasons why you wouldn’t want to upgrade your >> default profile every time you upgrade Guix. Software in your default >> profile may not actually build with the current version of Guix, or you >> are perfectly happy with the version you have insta