[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Store channel specification in profile
From: |
Pierre Neidhardt |
Subject: |
Re: Store channel specification in profile |
Date: |
Fri, 31 Jan 2020 13:15:06 +0100 |
Pierre Neidhardt <address@hidden> writes:
> Konrad Hinsen <address@hidden> writes:
>
>>> - There may be too many provenances, we need to add a CLI flag to
>>> ignore provenance.
>>
>> Too many in what sense?
>>
>> I'd just print a warning if the specification refers to more than, say,
>> five inferiors. Users can then clean up their profile or live with the
>> mess.
>>
>> Cleaning up just means updating the profile.
>
> You mean with
>
> guix upgrade -p /path/to/profile?
>
>> That would re-create
>> specifications.scm, in a better way than a special CLI flag because
>> specifications.scm is always the same as the current profile.
>
> OK, but what about a system where you don't have the profile, only the
> specification file?
>
> I believe we still need a flag to override the channels, basically add
> -C,--channels to `guix package`.
After a discussion with Zimoun, -C would break the guarantee that =guix
package= is using the current Guix, plus would overlap with =guix
time-machine=.
Instead, I suggest we use a --use-default-channels boolean flag and then we
could leverage guix time-machine to force a specific channel
specification on a manifest:
--8<---------------cut here---------------start------------->8---
guix time-machine --channels=foo.scm -- package -m specs.scm
--use-default-channels
--8<---------------cut here---------------end--------------->8---
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
- Re: Store channel specification in profile, (continued)
- Re: Store channel specification in profile, zimoun, 2020/01/13
- Re: Store channel specification in profile, Pierre Neidhardt, 2020/01/13
- Re: Store channel specification in profile, zimoun, 2020/01/13
- Re: Store channel specification in profile, Pierre Neidhardt, 2020/01/13
- Re: Store channel specification in profile, Pierre Neidhardt, 2020/01/30
- Re: Store channel specification in profile, zimoun, 2020/01/31
- Re: Store channel specification in profile, Konrad Hinsen, 2020/01/31
- Re: Store channel specification in profile, Pierre Neidhardt, 2020/01/31
- Re: Store channel specification in profile,
Pierre Neidhardt <=
- Re: Store channel specification in profile, Konrad Hinsen, 2020/01/31