From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id wMorHA0gGGCuEwAA0tVLHw (envelope-from ) for ; Mon, 01 Feb 2021 15:36:45 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id SPkAGA0gGGCuUwAA1q6Kng (envelope-from ) for ; Mon, 01 Feb 2021 15:36:45 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 126F69402C2 for ; Mon, 1 Feb 2021 15:36:45 +0000 (UTC) Received: from localhost ([::1]:45768 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l6bFr-0005iC-SI for larch@yhetil.org; Mon, 01 Feb 2021 10:36:43 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:39100) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l6bBq-0001qH-Nv for guix-devel@gnu.org; Mon, 01 Feb 2021 10:32:34 -0500 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:47527) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l6bBn-0000A3-QI; Mon, 01 Feb 2021 10:32:34 -0500 X-Originating-IP: 86.247.16.87 Received: from bababa (lfbn-idf2-1-709-87.w86-247.abo.wanadoo.fr [86.247.16.87]) (Authenticated sender: mail@ambrevar.xyz) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 2A4F81C0017; Mon, 1 Feb 2021 15:32:25 +0000 (UTC) From: Pierre Neidhardt To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile In-Reply-To: <8735yfhqcd.fsf_-_@gnu.org> References: <20210116182957.31075-1-ludo@gnu.org> <87wnvyv7w6.fsf@gnu.org> <871re5t2lg.fsf@ambrevar.xyz> <874kizsk0z.fsf@ambrevar.xyz> <87o8h6fs1n.fsf_-_@gnu.org> <875z3dqaq5.fsf@ambrevar.xyz> <8735yfhqcd.fsf_-_@gnu.org> Date: Mon, 01 Feb 2021 16:32:25 +0100 Message-ID: <87v9bbolbq.fsf@ambrevar.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=217.70.183.197; envelope-from=mail@ambrevar.xyz; helo=relay5-d.mail.gandi.net X-Spam_score_int: 0 X-Spam_score: -0.1 X-Spam_bar: / X-Spam_report: (-0.1 / 5.0 requ) BAYES_00=-1.9, FROM_SUSPICIOUS_NTLD=0.499, PDS_OTHER_BAD_TLD=1.999, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel , 45919@debbugs.gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -4.46 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 126F69402C2 X-Spam-Score: -4.46 X-Migadu-Scanner: scn1.migadu.com X-TUID: wZSONa+gTuVV --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ludovic Court=C3=A8s writes: > Hi, > > Pierre Neidhardt skribis: > >> Ludovic Court=C3=A8s writes: > > [...] > >>> =E2=80=A2 The generated files might use APIs that, in the meantime, g= ot >>> deprecated or changed somehow. This is in contrast with >>> =E2=80=98--export-profile=E2=80=99, which interprets =E2=80=98manif= est=E2=80=99 (a versioned file >>> format) and produces code that can use the API du jour. >> >> /run/current-system/configuration.scm suffers from the same problem. > > Not really because it=E2=80=99s precisely the file that you gave to build= the > system. So you know you can run: > > cd /run/current-system > guix time-machine -C channels.scm -- system reconfigure configuration.s= cm > > and it=E2=80=99ll work (modulo the documented caveats). Ha, actually no, it won't always work! :) Configuration.scm is only the file passed to `guix system reconfigure`, but is this file inherits from other user Guile modules, then the configuration.scm won't be sufficient to regenerate the system. You could argue that it's a user problem, but still, there is an "impurity" here! :p > But again, that=E2=80=99s not really the goal here. The goal is to help = users > willing to migrate from the =E2=80=9Cimperative=E2=80=9D mode to the decl= arative mode. Sure, but my thinking is that we could hit two birds we one stone here. If we only think one half of the problem, we might end up with too many commands or an interface that's not flexible enough. > Once you=E2=80=99re using a manifest, probably you=E2=80=99ll want to put= that under > version control, but that=E2=80=99s already the case. The channels.scm files are missing though. My two cents! :) Cheers! =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQFGBAEBCAAwFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAmAYHwkSHG1haWxAYW1i cmV2YXIueHl6AAoJEJvc9Jeku8x/hF0H/2PSKRAV4jasUfhGEW1dv+oht2GRMwiD YrNZUtw92UW9FoP7PoO43Lp/asWbHg1gJzoGfFXmBvIuOs/GxqG+SR3NUyStoHkH Ii4UNVTvdDhF9X6sK9p4RiEjybQ+sDtgnK7oFn+W+NnYvKt5B4BgGw50ZcQoKo3u 8jpsCFitaQAvtTB+m+mcoZMRZiDEEIe9swAV/Vjm5J9CL9ukl/6XguOzJHlYu5NG v+pwWAY/F+aYO/Tm89A99Sj6+U8mkf3KZEHtK1k7fxMTYplzLFDM5itAgIwdbdII 9ktEvQcyHwgvgyc0YrsnsOKcKr6h76DU/MA1xMuU/JrEz2pgGSsGhaE= =S9uH -----END PGP SIGNATURE----- --=-=-=--