Dry-run doesn't say everything

  • Open
  • quality assurance status badge
Details
2 participants
  • Julien Lepiller
  • Ludovic Courtès
Owner
unassigned
Submitted by
Julien Lepiller
Severity
normal
J
J
Julien Lepiller wrote on 16 Jan 2020 16:07
(address . bug-guix@gnu.org)
91AAB8DB-1673-4813-8A53-BBCFE5F47A55@lepiller.eu
On a recently installed system, I ran guix install coq -n. Guix told me it would download 270 MB and do 4 hooks. Guix install coq however told me it will 521 MB (which it did) including a lot more packages (including coq:ide),the same 4 hooks with different store hashes and additional grafts. This was quite unexpected :)

Once coq is in the repo though, guix gc will remove coq:ide and dependencies, and re-installing coq in a new profile will not pull coq:ide in anymore. Note that coq was grafted.
L
L
Ludovic Courtès wrote on 19 Jan 2020 21:26
(name . Julien Lepiller)(address . julien@lepiller.eu)(address . 39151@debbugs.gnu.org)
87o8uzry40.fsf@gnu.org
Hi,

Julien Lepiller <julien@lepiller.eu> skribis:

Toggle quote (4 lines)
> On a recently installed system, I ran guix install coq -n. Guix told me it would download 270 MB and do 4 hooks. Guix install coq however told me it will 521 MB (which it did) including a lot more packages (including coq:ide),the same 4 hooks with different store hashes and additional grafts. This was quite unexpected :)
>
> Once coq is in the repo though, guix gc will remove coq:ide and dependencies, and re-installing coq in a new profile will not pull coq:ide in anymore. Note that coq was grafted.

Yes, the difference is due to the current implementation of grafts
(‘--dry-run’ implies ‘--no-grafts’). It’s unfortunate, but there’s no
easy workaround, I think.

Ludo’.
?