# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1357532179 28800
# Node ID 420ff74c2e287068d86ee5a4482c8486e00fe2e1
# Parent  e2585a9da30aba61673508d2577c0f259a80e199
Added a shell command to list all the pages in the wiki.

diff -r e2585a9da30a -r 420ff74c2e28 manage.py
--- a/manage.py	Sat Jan 05 14:07:32 2013 -0800
+++ b/manage.py	Sun Jan 06 20:16:19 2013 -0800
@@ -35,6 +35,14 @@
     wiki.index.reset(wiki.getPages())
 
 
+@manager.command
+def list():
+    """ Lists page names in the wiki.
+    """
+    for url in wiki.getPageUrls():
+        print url
+
+
 if __name__ == "__main__":
     manager.run()