Subject: Re: [bug#43141] [PATCH 1/1] doc: Add "Getting Started" section.
From: Ludovic Courtès <[email-masked]>
To: Mathieu Othacehe <[email-masked]>
Cc: [email-masked]
Date: Thu, 03 Sep 2020 23:29:35 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Mathieu Othacehe <[email-masked]> skribis:

>> +If you installed Guix System, one of the first things you'll want to do
>> +is to upgrade your system.  Once you've run @command{guix pull} to get
>> +the latest Guix, you upgrade the system like this:
>                         ^
>                         can or may ?

Oops, fixed.

>> +The rest of this manual provides a reference for all things Guix.  Here
>                                                                    ^
>                                                                    provides?

Unless I’m mistaken, “all things Guix” is a colloquial phrase meaning
“all the things related to Guix”.

Pushed as 6a1788e13a3cda09b2a46d3bd909d71297f0b64e.

Thanks for taking a look!

Ludo’.