bug#42378: closed (Improve guix-install.sh's messages)

[GNU bug Tracking System]

Your message dated Thu, 16 Jul 2020 20:17:37 +0200
with message-id <877dv3pbni.fsf@nckx>
and subject line Re: bug#42378: Improve guix-install.sh's messages
has caused the debbugs.gnu.org bug report #42378,
regarding Improve guix-install.sh's messages
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
42378: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42378
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Improve guix-install.sh's messages Date: Wed, 15 Jul 2020 21:33:13 +0200

Guix,

Here are 2 short patches to address 2 tedious recurring questions in #guix.

Kind regards,

T G-R

signature.asc
Description: PGP signature

--- End Message ---

--- Begin Message --- Subject: Re: bug#42378: Improve guix-install.sh's messages Date: Thu, 16 Jul 2020 20:17:37 +0200

Ludovic Courtès 写道：

I’m all for it. It’s the kind of “tiny issue” that causes lots of

troubles to newcomers.

I agree!  Pushed.

Thanks,

T G-R

signature.asc
Description: PGP signature

--- End Message ---