guix-install.sh: Add ‘--uninstall’ flag.

* etc/guix-install.sh (REQUIRE): Add groupdel and userdel.
(chk_term): Handle ‘WAR’.
(sys_delete_store, sys_delete_build_user, sys_delete_guix_daemon)
(sys_delete_init_profile, sys_delete_user_profiles): New functions.
(main): Rename to…
(main_install): … this.
(main_uninstall): New function.
(main): Dispatch between these two.
* doc/guix.texi (Installation): Refer to “Binary Installation” instead
of repeating it.
(Binary Installation): Document uninstallation.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Change-Id: I55b7c10823773bced2e268273e8ce828cb3bd98d

1 files changed, 19 insertions, 4 deletions

diff --git a/doc/guix.texi b/doc/guix.texi
index 826fc05a22..6f95270fa0 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -696,12 +696,11 @@ to join!  @xref{Contributing}, for information about how you can help.
 We recommend the use of this
 @uref{https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh,
 shell installer script} to install Guix on top of a running GNU/Linux system,
-thereafter called a @dfn{foreign distro}.@footnote{This section is concerned
+thereafter called a @dfn{foreign distro}@footnote{This section is concerned
 with the installation of the package manager, which can be done on top of a
 running GNU/Linux system.  If, instead, you want to install the complete GNU
-operating system, @pxref{System Installation}.} The script automates the
-download, installation, and initial configuration of Guix.  It should be run
-as the root user.
+operating system, @pxref{System Installation}.}.  @xref{Binary
+Installation}, for more information.
 @end quotation
 
 @cindex foreign distro
@@ -758,6 +757,22 @@ chmod +x guix-install.sh
 ./guix-install.sh
 @end example
 
+The script automates the download, installation, and initial
+configuration of Guix, interactively offering various configuration
+options.
+
+@cindex uninstalling Guix
+@cindex uninstallation, of Guix
+Should you eventually want to uninstall Guix, run the same script with
+the @option{--uninstall} flag:
+
+@example
+./guix-install.sh --uninstall
+@end example
+
+With @option{--uninstall}, the script irreversibly deletes all the Guix
+files, configuration, and services.
+
 If you're running Debian or a derivative such as Ubuntu, you can instead
 install the package (it might be a version older than @value{VERSION}
 but you can update it afterwards by running @samp{guix pull}):