Re: [PATCH 5/5] emacs: Add 'guix-pull' command.

[Alex Kost <alezost@gmail.com>]

Ludovic Courtès (2014-10-26 21:41 +0300) wrote:

> Alex Kost <alezost@gmail.com> skribis:
>
>> From c117fe99830323409c0563204d45ceb0f53e1e75 Mon Sep 17 00:00:00 2001
>> From: Alex Kost <alezost@gmail.com>
>> Date: Tue, 21 Oct 2014 11:48:28 +0400
>> Subject: [PATCH 5/5] emacs: Add 'guix-pull' command.
>>
>> * emacs/guix-base.el (guix-pull): New command.
>>   (guix-update-after-pull, guix-after-pull-hook): New variables.
>>   (guix-restart-repl-after-pull, guix-update-buffers-maybe-after-pull): New
>>   procedures.
>> * emacs/guix-main.scm: Use (guix scripts pull) module.
>> * doc/emacs.texi (Emacs Commands): Document 'guix-pull' command.
>
> Nice, looks good!
>
>> +Also you can invoke @command{guix pull} command (@pxref{Invoking guix
>
> “You can also invoke the...”
>
>> +After @command{guix pull} will be successfully performed, the Guix REPL
>> +will be restared, so you can continue using Emacs interface with an
>> +updated Guix.
>
> What about this?
>
>   Once @command{guix pull} has succeeded, the Guix REPL is restarted.
>   This allows you to keep using the Emacs interface with the updated
>   Guix.

Absolutely!  I'll fix it, thanks!