# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1374013221 -7200
# Node ID 9ba8a7ddb583e57a3409a8c9047ccae966b95518
# Parent  e75a20e9f7c5face0b48a68f3ceffd8f1a2cf8de
Added a script to show users who have edited the wiki.

diff -r e75a20e9f7c5 -r 9ba8a7ddb583 tools/users.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/users.sh	Wed Jul 17 00:20:21 2013 +0200
@@ -0,0 +1,27 @@
+#/bin/sh
+
+PROGNAME=`basename $0`
+THISDIR=`dirname $0`
+
+SPACES=$*
+
+if [ ! "$SPACES" ]; then
+	echo "$PROGNAME <space directory>..."
+	exit 1
+fi
+
+TMPFILE=`python -W ignore::RuntimeWarning -c 'import os; print os.tmpnam()'`
+
+  cat `find $SPACES -name MOIN_PACKAGE` \
+| grep AddRevision \
+| cut -f 4 -d '|' \
+| grep -v '^$' \
+> "$TMPFILE"
+
+  cat `find $SPACES -name MOIN_PACKAGE` \
+| grep AddAttachment \
+| cut -f 5 -d '|' \
+| grep -v '^$' \
+>> "$TMPFILE"
+
+sort -u "$TMPFILE" && rm "$TMPFILE"