On Tue, May 12, 2020 at 2:04 PM zimoun <zimon.touto...@gmail.com> wrote:
> On Tue, 12 May 2020 at 13:55, Emmanuel Medernach > <emmanuel.medern...@gmail.com> wrote: > > > It is the name of a locally defined package, my partition was full and I > deleted the /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02 > directory by error. Now I would like to rebuild it but the "guix build" > command only returns the path which does not exist anymore. > > How did you delete it? > I deleted it with the very wrong method of "rm -Rf" of this local package in the store, now I learned. > Does it still belong in a profile? > Well, "guix gc" should help in this case; see the option --list-dead, > --delete or --verify. > > > Yes Thanks, I succeeded to remove it by rolling back to an old profile. Emmanuel > Hope that helps, > simon >
