[debbugs-tracker] bug#33466: closed ([PATCH 0/2] Improve guix repl)

[GNU bug Tracking System]

Your message dated Mon, 03 Dec 2018 08:07:07 +0300
with message-id <address@hidden>
and subject line Re: [bug#33466] [PATCH 2/2] repl: Add 'colorized' and 
'readline' support.
has caused the debbugs.gnu.org bug report #33466,
regarding [PATCH 0/2] Improve guix repl
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
33466: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33466
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Improve guix repl
>
>
>
>
> Date: 
>
> Thu, 22 Nov 2018 17:40:07 +0300
>
>
>
>
> Hello Guix,
>
> This patch series improves ‘guix repl’.
>
> Oleg Pykhalov (2):
>   repl: Do not exit repl on SIGINT.
>   repl: Add 'colorized' and 'readline' support.
>
>  guix/scripts/repl.scm | 22 +++++++++++++++++++++-
>  1 file changed, 21 insertions(+), 1 deletion(-)
>
> -- 
> 2.19.1
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#33466] [PATCH 2/2] repl: Add 'colorized' and 'readline' support. Date: Mon, 03 Dec 2018 08:07:07 +0300 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

address@hidden (Ludovic Courtès) writes:

> Oleg Pykhalov <address@hidden> skribis:
>
>> From 95b95b24107084baf03e9635280a8c3136b2a356 Mon Sep 17 00:00:00 2001
>> From: Oleg Pykhalov <address@hidden>
>> Date: Thu, 22 Nov 2018 17:24:04 +0300
>> Subject: [PATCH] repl: Load user's initialization file.
>>
>> * guix/scripts/repl.scm (guix-repl): Load user's initialization file.
>
> [...]
>
>>                  (set-current-module user-module)
>> +                (when (file-exists? %guile-initialization-file)
>> +                      (load %guile-initialization-file))
>
> Rather:
>
>   (and=> (getenv "HOME")
>          (lambda (home)
>            (when (file-exists? …)
>              …)))
>
> Otherwise if HOME is undefined simply loading (guix scripts repl) will
> cause an error.

Ah, I see.  Thank you.

Pushed as 37c6f11f8dfa1880db86a3510c9e50990304d76c

Thanks,
Oleg.

signature.asc
Description: PGP signature

--- End Message ---