From 73225778b060be4f47a933daee5b779ad9b44de0 Mon Sep 17 00:00:00 2001
From: Philip Munksgaard <pmunksgaard@gmail.com>
Date: Fri, 20 Oct 2017 11:49:07 +0200
Subject: [PATCH 1/2] Add 'Uninstalling Nix' section to the documentation

---
 doc/manual/installation/installation.xml     |  1 +
 doc/manual/installation/uninstalling-nix.xml | 56 ++++++++++++++++++++
 2 files changed, 57 insertions(+)
 create mode 100644 doc/manual/installation/uninstalling-nix.xml

diff --git a/doc/manual/installation/installation.xml b/doc/manual/installation/installation.xml
index 87895935288..4f6ab8f598a 100644
--- a/doc/manual/installation/installation.xml
+++ b/doc/manual/installation/installation.xml
@@ -15,6 +15,7 @@
 <xi:include href="installing-source.xml" />
 <xi:include href="nix-security.xml" />
 <xi:include href="env-variables.xml" />
+<xi:include href="uninstalling-nix.xml" />
 
 <!-- TODO: should be updated
 <section><title>Upgrading Nix through Nix</title>
diff --git a/doc/manual/installation/uninstalling-nix.xml b/doc/manual/installation/uninstalling-nix.xml
new file mode 100644
index 00000000000..4b33c8078ac
--- /dev/null
+++ b/doc/manual/installation/uninstalling-nix.xml
@@ -0,0 +1,56 @@
+<chapter xmlns="http://docbook.org/ns/docbook"
+      xmlns:xlink="http://www.w3.org/1999/xlink"
+      xmlns:xi="http://www.w3.org/2001/XInclude"
+      version="5.0"
+      xml:id="ch-uninstalling-nix">
+
+<title>Uninstalling Nix</title>
+
+<para>The following steps describes how to remove Nix from your system.</para>
+
+<para>First of all you need to remove the <filename>/nix</filename>
+directory:</para>
+
+<screen>sudo rm -rf /nix</screen>
+
+<para>You also need to remove some files from your home directory:</para>
+
+<screen>
+rm -rf $HOME/.nix-profile
+rm -rf $HOME/.nix-defexpr
+rm -rf $HOME/.nix-channels
+rm -rf $HOME/.config/nixpkgs
+</screen>
+
+<para>Then you need to remove the line that references Nix from your
+<filename><envar>$HOME</envar>/.profile</filename>. Assuming that your username
+is <literal>user</literal> it should look something like this:</para>
+
+<screen>
+if [ -e /home/user/.nix-profile/etc/profile.d/nix.sh ]; then . /home/user/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer
+</screen>
+
+<para>There might also be some configuration files in
+<filename>/etc/nix</filename> that you need to delete:</para>
+
+<screen>
+sudo rm -rf /etc/nix
+</screen>
+
+<para>Finally, on a multi-user installation of Nix, you will also need to remove
+the <literal>nixbld[0-9]</literal> users.</para>
+
+<screen>
+sudo deluser nixbld0
+sudo deluser nixbld1
+sudo deluser nixbld2
+sudo deluser nixbld3
+sudo deluser nixbld4
+sudo deluser nixbld5
+sudo deluser nixbld6
+sudo deluser nixbld7
+sudo deluser nixbld8
+sudo deluser nixbld9
+</screen>
+
+</chapter>

From ff8f70affc5823d82abd3418536d9db2629e1b0f Mon Sep 17 00:00:00 2001
From: Philip Munksgaard <pmunksgaard@gmail.com>
Date: Fri, 20 Oct 2017 13:14:42 +0200
Subject: [PATCH 2/2] Use userdel instead of deluser

---
 doc/manual/installation/uninstalling-nix.xml | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/doc/manual/installation/uninstalling-nix.xml b/doc/manual/installation/uninstalling-nix.xml
index 4b33c8078ac..f472c553502 100644
--- a/doc/manual/installation/uninstalling-nix.xml
+++ b/doc/manual/installation/uninstalling-nix.xml
@@ -41,16 +41,16 @@ sudo rm -rf /etc/nix
 the <literal>nixbld[0-9]</literal> users.</para>
 
 <screen>
-sudo deluser nixbld0
-sudo deluser nixbld1
-sudo deluser nixbld2
-sudo deluser nixbld3
-sudo deluser nixbld4
-sudo deluser nixbld5
-sudo deluser nixbld6
-sudo deluser nixbld7
-sudo deluser nixbld8
-sudo deluser nixbld9
+sudo userdel nixbld0
+sudo userdel nixbld1
+sudo userdel nixbld2
+sudo userdel nixbld3
+sudo userdel nixbld4
+sudo userdel nixbld5
+sudo userdel nixbld6
+sudo userdel nixbld7
+sudo userdel nixbld8
+sudo userdel nixbld9
 </screen>
 
 </chapter>