# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1385623726 28800
# Node ID ace48040b01db2b1d4b1474f7082c70ae67dddab
# Parent  cfa92a67a31f87c30eb1d7964556597ab555ded7
Added CLI option to list pages from the file-system.

diff -r cfa92a67a31f -r ace48040b01d manage.py
--- a/manage.py	Sun Nov 24 19:35:03 2013 -0800
+++ b/manage.py	Wed Nov 27 23:28:46 2013 -0800
@@ -49,11 +49,15 @@
 
 
 @manager.command
-def list():
+def list(fs=False):
     """ Lists page names in the wiki.
     """
-    for url in wiki.db.getPageUrls():
-        print url
+    if fs:
+        for pi in wiki.fs.getPageInfos():
+            print pi.url
+    else:
+        for url in wiki.db.getPageUrls():
+            print url
 
 
 @manager.command