From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:39035) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iSyU4-0002Ar-Bv for guix-patches@gnu.org; Fri, 08 Nov 2019 02:15:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iSyU3-0006pf-2H for guix-patches@gnu.org; Fri, 08 Nov 2019 02:15:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:35707) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iSyU2-0006pa-Up for guix-patches@gnu.org; Fri, 08 Nov 2019 02:15:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iSyU2-0002Pi-MN for guix-patches@gnu.org; Fri, 08 Nov 2019 02:15:02 -0500 Subject: [bug#37978] [PATCH] guix: new command "guix time-machine" Resent-Message-ID: From: Konrad Hinsen In-Reply-To: <87y2wt3ycb.fsf@gnu.org> References: <87y2wt3ycb.fsf@gnu.org> Date: Fri, 08 Nov 2019 08:14:03 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 37978@debbugs.gnu.org Hi Ludo, Thanks for your detailed comments, most of which I agree with, and I will make the required changes. There is one issue I see: > How about (1) calling it =E2=80=98cached-channel-instance=E2=80=99 (or si= milar), and (2) > not opening a connection to the daemon? > > Regarding (2), it means that procedure would be a monadic procedure and > it=E2=80=99s up to the user to do with-store + run-with-store or whatever= . The That would imply that the user always opens a daemon, even if it is not necessary because the required instance is already in the cache. Is that a price worth paying for a more conventional interface, in your opinion? Cheers, Konrad.