Re: why 'package --remove' download stuff?

[zimoun]

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