From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ricardo Wurmus <rekado@elephly.net>
Subject: bug#31786: 'pre-inst-env guix --version' is not updated by new
	commits"
Date: Sat, 16 Jun 2018 00:24:32 +0200
Message-ID: <87o9gb663j.fsf@elephly.net>
References: <87r2lddwyg.fsf@gmail.com> <87k1r4p2ca.fsf@gnu.org>
	<87k1r3271g.fsf@gmail.com> <87d0wvoicy.fsf@gnu.org>
	<87o9gf5x0t.fsf@gmail.com> <87wov3npl2.fsf@gnu.org>
	<20180614013938.GD29167@jasmine.lan> <87d0wttn0v.fsf@gmail.com>
	<87k1r1z5o0.fsf@gnu.org> <8736xnj22c.fsf@gmail.com>
	<87po0r674z.fsf@elephly.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:38572)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fVHPX-0004yU-6P
	for bug-guix@gnu.org; Tue, 19 Jun 2018 10:15:07 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fVHPS-0001PR-8F
	for bug-guix@gnu.org; Tue, 19 Jun 2018 10:15:07 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:48679)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1fVHPS-0001PL-3z
	for bug-guix@gnu.org; Tue, 19 Jun 2018 10:15:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fVHPR-0001NU-PB
	for bug-guix@gnu.org; Tue, 19 Jun 2018 10:15:01 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.31786.B31786.15294176955270@debbugs.gnu.org>
In-reply-to: <87po0r674z.fsf@elephly.net>
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: George Clemmer <myglc2@gmail.com>
Cc: =?UTF-8?Q?Cl=C3=A9ment?= Lassieur <clement@lassieur.org>, 31786@debbugs.gnu.org


Ricardo Wurmus <rekado@elephly.net> writes:

>> Proposed (revised) footnote:
>>
>> (3) The Guix version in the Guix build is set by './bootstrap'. Thus,
>> the version reported by './pre-inst-env guix --version' is not updated
>> by subsequent 'git pull; make' steps. To update the version (and rebuild
>> everything), use 'git clean -dfx; ./bootstrap; ./configure; make'.
>
> I=E2=80=99m wary of adding this for similar reasons that Ludo wrote earli=
er.  In
> my opinion this ends up cluttering the manual with notes and what I
> consider to be only tangentially relevant for readers of the manual.

An alternative might be to change the output of =E2=80=9Cguix --version=E2=
=80=9D in the
presence of GUIX_UNINSTALLED, which is set by =E2=80=9Cpre-inst-env=E2=80=
=9D.  This
could be a simple change in =E2=80=9Cshow-version-and-exit=E2=80=9D that wo=
uld use
something other than =E2=80=9C%guix-version=E2=80=9D when GUIX_UNINSTALLED =
is set.

What do others think?

--
Ricardo