bug#25139: making the update procedure more obvious

[Ludovic Courtès]

Hi,

Dave Love <address@hidden> skribis:

> It's not very obvious to a newcomer how to update to a new release as
> it's rather buried in the doc.  I think it would help to reference
> "pull" in the installation section of the manual, and maybe in release
> announcements, and to index "upgrading" and/or "upgrades" in the manual.
> I'm not sure it's worth me suggesting a patch, but I could if it helps.

I made these changes:

modified   doc/guix.texi
@@ -359,6 +359,9 @@ without interference.  Its data lives exclusively in two 
directories,
 usually @file{/gnu/store} and @file{/var/guix}; other files on your
 system, such as @file{/etc}, are left untouched.
 
+Once installed, Guix can be updated by running @command{guix pull}
+(@pxref{Invoking guix pull}).
+
 @menu
 * Binary Installation::         Getting Guix running in no time!
 * Requirements::                Software needed to build and run Guix.
@@ -2308,6 +2311,7 @@ this option is primarily useful when the daemon was 
running with
 @section Invoking @command{guix pull}
 
 @cindex upgrading Guix
address@hidden updating Guix
 @cindex @command{guix pull}
 @cindex pull
 Packages are installed or upgraded to the latest version available in
@@ -6949,6 +6953,14 @@ initialized by running the @command{passwd} command as 
@code{root},
 unless your configuration specifies otherwise
 (@pxref{user-account-password, user account passwords}).
 
address@hidden upgrading GuixSD
+From then on, you can update GuixSD whenever you want by running
address@hidden pull} as @code{root} (@pxref{Invoking guix pull}), and
+then running @command{guix system reconfigure} to build a new system
+generation with the latest packages and services (@pxref{Invoking guix
+system}).  We recommend doing that regularly so that your system
+includes the latest security updates (@pxref{Security Updates}).
+
 Join us on @code{#guix} on the Freenode IRC network or on
 @file{guix-devel@@gnu.org} to share your experience---good or not so
 good.

Thanks!

Ludo’.