On Sun, 14 Mar 2021, Mark H Weaver wrote: > (1) You must *delete* the "older" system generations and user profiles > e.g. by running "guix system delete-generations" and "guix package > --delete-generations", or else "guix gc" won't clear them from your > store. It is not enough to merely switch to an older system > generation and profiles. > > (2) You'll also need to actually reboot into the older system > generation, because /run/booted-system will continue to protect > (from GC) the system that you last booted into, even after you > switch systems. > > Did you do those things before running "guix gc"? Oops, I left out those details. Yes, I did both those things. > I'm sorry that you've hit this nasty bug. Thanks. For me, being the only one that can reproduce or experience a problem can be a frustrating and lonely experience, so really appreciate the time you and Leo have spent looking at it. Best, Jack