From d8781c4fc5143153812e056df23183bcab505253 Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Wed, 9 Nov 2022 01:11:47 +0100
Subject: [PATCH 1/2] add removing users to uninstall instructions

---
 .../src/installation/installing-binary.md     | 29 +++++++++++++++----
 1 file changed, 24 insertions(+), 5 deletions(-)

diff --git a/doc/manual/src/installation/installing-binary.md b/doc/manual/src/installation/installing-binary.md
index 2d007ca1b..615d862a4 100644
--- a/doc/manual/src/installation/installing-binary.md
+++ b/doc/manual/src/installation/installing-binary.md
@@ -88,10 +88,24 @@ extension. The installer will also create `/etc/profile.d/nix.sh`.
 
 ### Linux
 
-```console
-sudo rm -rf /etc/profile/nix.sh /etc/nix /nix ~root/.nix-profile ~root/.nix-defexpr ~root/.nix-channels ~/.nix-profile ~/.nix-defexpr ~/.nix-channels
+Remove files created by Nix:
 
-# If you are on Linux with systemd, you will need to run:
+```console
+sudo rm -rf /nix /etc/nix /etc/profile/nix.sh ~root/.nix-profile ~root/.nix-defexpr ~root/.nix-channels ~/.nix-profile ~/.nix-defexpr ~/.nix-channels
+```
+
+Remove build users and their group:
+
+```console
+for i in $(seq 30001 30032); do
+  sudo userdel $i
+done
+sudo groupdel 30000
+```
+
+If you are on Linux with systemd, remove the Nix daemon service:
+
+```console
 sudo systemctl stop nix-daemon.socket
 sudo systemctl stop nix-daemon.service
 sudo systemctl disable nix-daemon.socket
@@ -99,8 +113,13 @@ sudo systemctl disable nix-daemon.service
 sudo systemctl daemon-reload
 ```
 
-There may also be references to Nix in `/etc/profile`, `/etc/bashrc`,
-and `/etc/zshrc` which you may remove.
+There may also be references to Nix in
+
+- `/etc/profile`
+- `/etc/bashrc`,
+- `/etc/zshrc`
+
+which you may remove.
 
 ### macOS
 

From 2af036e5a378c711d8e58d01bdefe5c634c25921 Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Fri, 11 Nov 2022 14:01:13 +0100
Subject: [PATCH 2/2] remove stray comma

---
 doc/manual/src/installation/installing-binary.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/src/installation/installing-binary.md b/doc/manual/src/installation/installing-binary.md
index 615d862a4..31faeadc2 100644
--- a/doc/manual/src/installation/installing-binary.md
+++ b/doc/manual/src/installation/installing-binary.md
@@ -116,7 +116,7 @@ sudo systemctl daemon-reload
 There may also be references to Nix in
 
 - `/etc/profile`
-- `/etc/bashrc`,
+- `/etc/bashrc`
 - `/etc/zshrc`
 
 which you may remove.