From mboxrd@z Thu Jan  1 00:00:00 1970
From: Konrad Hinsen <konrad.hinsen@fastmail.net>
Subject: Re: Store channel specification in profile
Date: Fri, 31 Jan 2020 17:01:47 +0100
Message-ID: <m1o8ujobro.fsf@fastmail.net>
References: <87blsyelgm.fsf@ambrevar.xyz> <m1h82q8ub3.fsf@khs-macbook.home>
 <87tv69bezo.fsf@gnu.org> <87zhg1xvmo.fsf@ambrevar.xyz>
 <CAJ3okZ2-Lniaw8ARXre7atDyHmWEeHwm25CkpbSdSk9un4r4OQ@mail.gmail.com>
 <874kx8gxh1.fsf@ambrevar.xyz>
 <CAJ3okZ0GGJAJ_YRSdm4we-YYwUTzi85RvJkMHnPkSzVjVxPWSw@mail.gmail.com>
 <87blreasgd.fsf@ambrevar.xyz> <87pnfpsgfx.fsf@gnu.org>
 <CAJ3okZ29N2B+ikwupN4cevzvZHpz0CK31tXoZcp50aPCtHKFAQ@mail.gmail.com>
 <87a76rqu5j.fsf@ambrevar.xyz>
 <CAJ3okZ1KWzjThKh2QF7RGBJuX+63QpY822NF6fuX9FkgddLRnw@mail.gmail.com>
 <877e1vqowd.fsf@ambrevar.xyz> <87zhe4px2a.fsf@ambrevar.xyz>
 <m1y2tonfpn.fsf@fastmail.net> <87d0azq3br.fsf@ambrevar.xyz>
 <871rrfq0tx.fsf@ambrevar.xyz>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:59878)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <konrad.hinsen@fastmail.net>) id 1ixYjy-0007GO-IP
 for guix-devel@gnu.org; Fri, 31 Jan 2020 11:01:55 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <konrad.hinsen@fastmail.net>) id 1ixYjw-0002te-Fv
 for guix-devel@gnu.org; Fri, 31 Jan 2020 11:01:54 -0500
In-Reply-To: <871rrfq0tx.fsf@ambrevar.xyz>
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org
Sender: "Guix-devel"
 <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
To: Pierre Neidhardt <mail@ambrevar.xyz>, zimoun <zimon.toutoune@gmail.com>
Cc: Guix Devel <guix-devel@gnu.org>

Pierre Neidhardt <mail@ambrevar.xyz> writes:

>>> Cleaning up just means updating the profile.
>>
>> You mean with
>>
>> guix upgrade -p /path/to/profile?

Right.

>> OK, but what about a system where you don't have the profile, only the
>> specification file?

OK, that's at the other end, for the user of a specification file. That
must indeed be handled by some option to "guix package".

> 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---

LGTM!

Cheers,
  Konrad.