You need domtool-admin rights to destroy a user

* Otherwise very bad things happen very quickly

diff --git a/destroy-user b/destroy-user
index abcc8ab..a8214ba 100755 (executable)
--- a/destroy-user
+++ b/destroy-user
@@ -3,6 +3,7 @@
 # MUST be executed:
 #  - on deleuze
 #  - as a user with an /etc/sudoers line
 # MUST be executed:
 #  - on deleuze
 #  - as a user with an /etc/sudoers line

+#  - as a user with domtool-admin rights

 #  - while holding system:administrator tokens
 
 USER=$1
 #  - while holding system:administrator tokens
 
 USER=$1