Re: Few questions

[Emmanuel Medernach]

On Tue, May 12, 2020 at 2:04 PM zimoun <address@hidden> wrote:

> On Tue, 12 May 2020 at 13:55, Emmanuel Medernach
> <address@hidden> 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
>