From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:59157) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iVu2q-0001Ps-EY for guix-patches@gnu.org; Sat, 16 Nov 2019 04:07:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iVu2p-0007vv-G9 for guix-patches@gnu.org; Sat, 16 Nov 2019 04:07:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:57151) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iVu2p-0007vo-CU for guix-patches@gnu.org; Sat, 16 Nov 2019 04:07:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iVu2p-00013Z-6m for guix-patches@gnu.org; Sat, 16 Nov 2019 04:07:03 -0500 Subject: [bug#37978] [PATCH] guix: new command "guix time-machine" Resent-Message-ID: From: Konrad Hinsen In-Reply-To: <875zjkzs1j.fsf@gnu.org> References: <87y2wt3ycb.fsf@gnu.org> <875zjkzs1j.fsf@gnu.org> Date: Sat, 16 Nov 2019 10:06:34 +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-done@debbugs.gnu.org Hi Ludo, > I followed up with one commit to gracefully handle Git errors (e.g., > when one type =E2=80=98--commit=3Dfoobar=E2=80=99) and another one to han= dle build options > like the other commands. Let me know if anything looks wrong. Quite on the contrary, everything looks fine - thanks! I hadn't realized that "guix pull" takes build options, but obviously that makes sense. > It would be neat if the =E2=80=9CUpdating=E2=80=A6=E2=80=9D message would= n=E2=80=99t show up when in > fact everything is already available. Also, it=E2=80=99d be nice if we c= ould > write (and in =E2=80=98guix pull=E2=80=99 too) =E2=80=98--date=3D2019-07-= 07=E2=80=99 or > =E2=80=98--date=3Dlast-month=E2=80=99. Future work! :-) Right. Also not pulling anything if the requested channels are identical to those of the current guix version. There's always more to to! Cheers, Konrad.