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? Does it still belong in a profile? Well, "guix gc" should help in this case; see the option --list-dead, --delete or --verify. Hope that helps, simon
