GNU bug report logs -
#39151
Dry-run doesn't say everything
Previous Next
To reply to this bug, email your comments to 39151 AT debbugs.gnu.org.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
bug-guix <at> gnu.org
:
bug#39151
; Package
guix
.
(Thu, 16 Jan 2020 15:08:01 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Julien Lepiller <julien <at> lepiller.eu>
:
New bug report received and forwarded. Copy sent to
bug-guix <at> gnu.org
.
(Thu, 16 Jan 2020 15:08:01 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
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.
Information forwarded
to
bug-guix <at> gnu.org
:
bug#39151
; Package
guix
.
(Sun, 19 Jan 2020 20:28:01 GMT)
Full text and
rfc822 format available.
Message #8 received at 39151 <at> debbugs.gnu.org (full text, mbox):
Hi,
Julien Lepiller <julien <at> lepiller.eu> skribis:
> 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’.
This bug report was last modified 4 years and 364 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.