[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33285: Installing, then removing, a package yields a different profi
From: |
Ludovic Courtès |
Subject: |
bug#33285: Installing, then removing, a package yields a different profile |
Date: |
Mon, 04 Feb 2019 19:02:16 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hello!
Ricardo Wurmus <address@hidden> skribis:
> Note that they differ in the inclusion of
> /gnu/store/h0905d946s3xarcfakan8jnblcdqxs3a-hello-2.10.drv as
> a derivation input.
>
> I guess that the problem might be in “profile-derivation”, which defines
> “inputs” like this:
>
> (define inputs
> (append (filter-map (lambda (drv)
> (and (derivation? drv)
> (gexp-input drv)))
> extras)
> (manifest-inputs manifest)))
>
> I pk’d at the value returned by manifest-inputs and found this:
>
> $ guix package -p .guix-profile -i hello
> The following package will be installed:
> hello 2.10 /gnu/store/md2plii4g5sk66wg9cgwc964l3xwhrm9-hello-2.10
>
>
> ;;; ((#<gexp-input #<package address@hidden gnu/packages/base.scm:68
> 31e4d80>:out>))
> 1 package in profile
> The following environment variable definitions may be needed:
> export PATH=".guix-profile/bin${PATH:+:}$PATH"
>
> $ guix package -p .guix-profile -i coreutils
> The following package will be installed:
> coreutils 8.30
> /gnu/store/xzgfh8kdxilyymi1a8i97b1nci1iybhi-coreutils-8.30
>
>
> ;;; ((#<gexp-input #<package address@hidden gnu/packages/base.scm:338
> 39a7000>:out> #<gexp-input
> "/gnu/store/md2plii4g5sk66wg9cgwc964l3xwhrm9-hello-2.10":out>))
Good catch!
> Should manifest-inputs distinguish between a package entry and a file
> entry and paper over the differences?
Actually, to do things correctly, we should really store the .drv in the
‘manifest’ file. That way, manifest entries would always contains a
valid “lowerable” object (a package or a derivation record), as opposed
to a store reference that happens to be valid.
I’ll see if I can come up with a patch for this.
Thanks,
Ludo’.
- bug#33285: Installing, then removing, a package yields a different profile, Ricardo Wurmus, 2019/02/03
- bug#33285: Installing, then removing, a package yields a different profile,
Ludovic Courtès <=
- bug#33285: Installing, then removing, a package yields a different profile, Ludovic Courtès, 2019/02/06
- bug#33285: Installing, then removing, a package yields a different profile, Ricardo Wurmus, 2019/02/06
- bug#33285: Installing, then removing, a package yields a different profile, Jelle Licht, 2019/02/07
- bug#33285: Installing, then removing, a package yields a different profile, Chris Marusich, 2019/02/08