[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: why 'package --remove' download stuff?
From: |
zimoun |
Subject: |
Re: why 'package --remove' download stuff? |
Date: |
Fri, 14 Feb 2020 12:20:21 +0100 |
Hi Leo,,
Thank you for the explanations.
On Fri, 14 Feb 2020 at 02:16, Leo Famulari <address@hidden> wrote:
>
> On Fri, Feb 14, 2020 at 01:54:53AM +0100, zimoun wrote:
> > Hmm? Okish... but it is really annoying. And I do not understand the
> > reason of this.
>
> The reason is that, after you made the last profile, you ran `guix
> pull`.
>
> Some package that is used to build profiles was updated in the `guix
> pull` and now, to make a new profile, you need to use that updated
> package. There are profile hooks that do things like build the man page
> database, and maybe those packages were updated.
>
> Does that make sense?
Yes, it makes sense but it is totally counter-intuitive. :-)
Well, it is a bit hard: remove a tiny package and then big packages
such as GHC are downloaded.
I will see if I can improve the doc or something else.
Thanks,
simon