From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: guix pull avoidance
Date: Mon, 29 Aug 2016 18:10:31 +0200
Message-ID: <87zinvy2rs.fsf@gnu.org>
References: <CAEwRq=otW=2WRhD=cxYoquZ-67yQNURPS4ry8ize85E2mz7NGQ@mail.gmail.com>
	<20160822180117.GA17367@jasmine>
	<CAEwRq=oTY7qRTXxt2aPxRjPxU8usOZPLAtrGEFwamX38OUyq4A@mail.gmail.com>
	<CAEwRq=rOkhT8wMxRiqkF0sSCDHsV9Z9039yA_oNXtnKyKMUBzg@mail.gmail.com>
	<CAEwRq=raEGQtOOJfPjKmbv6XpS=qiqYdNyKzmjUMJZGpaL-DiA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:52011)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1beP8y-0004R7-Bv
	for help-guix@gnu.org; Mon, 29 Aug 2016 12:10:41 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1beP8s-0003Mo-A8
	for help-guix@gnu.org; Mon, 29 Aug 2016 12:10:39 -0400
In-Reply-To: <CAEwRq=raEGQtOOJfPjKmbv6XpS=qiqYdNyKzmjUMJZGpaL-DiA@mail.gmail.com>
	(Vincent Legoll's message of "Wed, 24 Aug 2016 10:57:13 +0200")
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: Vincent Legoll <vincent.legoll@gmail.com>
Cc: guix-devel <guix-devel@gnu.org>, help-guix <help-guix@gnu.org>

Vincent Legoll <vincent.legoll@gmail.com> skribis:

> Hello,
>
>> How's the following totally untested, probably buggy patch ?
>
> After painful testing (I have to remove the .config/guix/latest symlink
> each time, make it point back to ~/guix_git with my modifications, and
> it recompiles a whole bunch of scm files...)
>
> Any idea how to improve that ?
>
>> it's in RFC, to show the intended effects...
>
> I fixed a few silly mistakes...
>
>> What's inside:
>>
>> - create a symlink /gnu/store/latest pointing to the last installed
>> /gnu/store/*-guix-latest
>
> This is failing with :
>
> guix pull: error: symlink: Read-only file system: "/gnu/store/latest.new"

/gnu/store is read-only, except for guix-daemon, so =E2=80=98guix pull=E2=
=80=99 cannot
write to it.

> * I don't think I fully understand that, as the "->" in the mlet* for
> instance, I
> couldn't find explanations in guile's refman nor guix's...

  (mlet %store-monad ((x -> foo)) (bar))

is equivalent to:

  (let ((x foo)) (bar))

Ludo=E2=80=99.