From: Bernie Innocenti <bernie@codewiz.org>
Date: Mon, 3 Aug 2009 13:50:47 +0000 (+0200)
Subject: Strip leading slashes in directory headers
X-Git-Url: https://codewiz.org/gitweb?a=commitdiff_plain;h=3666a00d5ea2583d74043a5ac27cc848948fb6c7;p=geekigeeki.git

Strip leading slashes in directory headers
---

diff --git a/geekigeeki.py b/geekigeeki.py
index 2fb9030..52010d6 100755
--- a/geekigeeki.py
+++ b/geekigeeki.py
@@ -337,6 +337,7 @@ def send_footer(mod_string=None):
         cgi.print_arguments()
         cgi.print_form(form)
         cgi.print_environ()
+        #FIXME link_inline("sys/footer")
     print('''
 <div id="footer"><hr />
 <p class="copyright">
@@ -556,7 +557,7 @@ class WikiFormatter:
             | (?P<url>   (http|https|ftp|mailto)\:[^\s'\"]+\S)
             | (?P<email> [-\w._+]+\@[\w.-]+)
 
-            # Lists, divs, spans
+            # Lists, divs, spans and inline objects
             | (?P<li>    ^\s+[\*\#]\s+)
             | (?P<pre>   \{\{\{|\s*\}\}\})
             | (?P<inl>   \{\{([^\s\|]+)(?:\s*\|\s*([^\]]+)|)\}\})
@@ -645,7 +646,7 @@ class Page:
     def format_dir(self):
         out = '== '
         pathname = ''
-        for dirname in self.page_name.split('/'):
+        for dirname in self.page_name.strip('/').split('/'):
             pathname = (pathname + '/' + dirname) if pathname else dirname
             out += '[[' + pathname + '|' + dirname + ']]/'
         out += ' ==\n'