From mboxrd@z Thu Jan  1 00:00:00 1970
From: zimoun <zimon.toutoune@gmail.com>
Subject: Re: Store channel specification in profile
Date: Thu, 12 Dec 2019 20:50:44 +0100
Message-ID: <CAJ3okZ2-Lniaw8ARXre7atDyHmWEeHwm25CkpbSdSk9un4r4OQ@mail.gmail.com>
References: <87blsyelgm.fsf@ambrevar.xyz> <m1h82q8ub3.fsf@khs-macbook.home>
 <87tv69bezo.fsf@gnu.org> <87zhg1xvmo.fsf@ambrevar.xyz>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:58892)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <zimon.toutoune@gmail.com>) id 1ifUUG-0002R9-FZ
 for guix-devel@gnu.org; Thu, 12 Dec 2019 14:51:01 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zimon.toutoune@gmail.com>) id 1ifUUE-0002FN-EK
 for guix-devel@gnu.org; Thu, 12 Dec 2019 14:51:00 -0500
In-Reply-To: <87zhg1xvmo.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.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Pierre Neidhardt <mail@ambrevar.xyz>
Cc: Guix Devel <guix-devel@gnu.org>

Hi Pierre,

On Mon, 9 Dec 2019 at 18:22, Pierre Neidhardt <mail@ambrevar.xyz> wrote:
>
> Ludovic Court=C3=A8s <ludo@gnu.org> writes:
>
> > This is exactly what=E2=80=99s currently implemented if you look at
> > ~/.guix-profile/manifest, under =E2=80=98provenance=E2=80=99.
>
> But does "provenance" tell about the channels?

Yes, I think so.

For example,  ~/.guix-profile/manifest looks like that:

--8<---------------cut here---------------start------------->8---
("diffoscope"
      "131"
      "out"
      "/gnu/store/h8zr4rxhvpikv9p07kdjkf2dsrja35wm-diffoscope-131"
      (propagated-inputs ())
      (search-paths ())
      (properties
        (provenance
          (repository
            (version 0)
            (url "https://git.savannah.gnu.org/git/guix.git")
            (branch "master")
            (commit
              "b5d4d5b9bcf267fddd02fcc14b88eac0bebf979f")))))
--8<---------------cut here---------------end--------------->8---



> > Like zimoun writes, it would be nice to have some sort of a =E2=80=9Cde=
scribe=E2=80=9D
> > command for a regular profile.  Actually maybe =E2=80=9Cguix describe -=
p=E2=80=9D?
> >
> > Actually =E2=80=98guix describe -p ~/.guix-profile=E2=80=99 works but d=
oesn=E2=80=99t display
> > anything useful.  We could fix that by recognizing the kind of profile,
> > somehow.
>
> Seems like a good idea.  How do we define "anything useful" though?
> The provenance of packages?  How would we format it?

As I explained elsewhere, the file <your-profile>/manifest already
contains almost all the information we need (at least I think we need
;-)). But its format is not complaint with the other format (channels,
manifest). And you answered: it is plumbing! :-)
My point is: this plumbing manifest file should be more
"format-friendly" -- still being plumbing -- and easily compliant with
the --channel or --manifest option, IMHO.


Cheers,
simon