From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: =?utf-8?B?4oCYZ3VpeCBwdWxs4oCZ?= vs. Git Date: Sat, 19 Dec 2015 15:09:23 +0100 Message-ID: <87y4cqzg18.fsf_-_@gnu.org> References: <20151216044236.GA19496@thebird.nl> <20151216045703.GA19562@thebird.nl> <87vb7wg0ub.fsf@gnu.org> <20151218034054.GA27521@thebird.nl> <87vb7vhcxk.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:44431) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aAICQ-0005od-Lk for guix-devel@gnu.org; Sat, 19 Dec 2015 09:09:31 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aAICP-0001Md-R1 for guix-devel@gnu.org; Sat, 19 Dec 2015 09:09:30 -0500 In-Reply-To: <87vb7vhcxk.fsf@netris.org> (Mark H. Weaver's message of "Fri, 18 Dec 2015 12:41:27 -0500") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Mark H Weaver Cc: guix-devel@gnu.org, Dika Setya Prayogi Mark H Weaver skribis: > Pjotr Prins writes: > >> If it is technically feasibly it would be a great feature to go back >> in time without resorting to using a checkout of the guix source tree >> :) > > I'm not sure why using a git checkout should be considered an > unfortunate thing to have to resort to. To my mind, it is precisely the > right tool for the job, and far more flexible and efficient than using > "guix pull". It is the way I've been using 'guix' from the beginning. > I recommend giving it a try some time :) I think Git is the right tool, but the wrong UI. :-) Not to mention ./pre-inst-env. Ideally, =E2=80=98guix pull=E2=80=99 would do exactly the same as what one = does with Git, except in a more automated, user-friendly, and bullet-proof fashion (no need to wonder about ABI breakage, for instance.) WDYT? Ludo=E2=80=99.