From 74c0962598c7832a421c7945e0665396b42aaf8e Mon Sep 17 00:00:00 2001 From: bernat Date: Sat, 1 Jan 2005 00:36:09 +0100 Subject: [PATCH] On ajoute le nom de la page avec les liens cliquables (plus facile pour la navigation) darcs-hash:20041231233609-d1718-899dc8c6b8fcb0e03674e3a582ebc444744c47b1.gz --- dump-wiki.py | 23 +++++++++++++++++------ 1 file changed, 17 insertions(+), 6 deletions(-) diff --git a/dump-wiki.py b/dump-wiki.py index 4dbdd0b3..741958e9 100755 --- a/dump-wiki.py +++ b/dump-wiki.py @@ -27,14 +27,16 @@ page_template = '''

-Cette page est une copie de statique de ce que l'on peut trouver sur le -wiki de l'association. Elle est à destination -des utilisateurs souhaitant configurer le wifi sur leur machine. Elle ne contient -que les pages strictement nécessaires à la configuration. Une fois la configuration effectuée, -vous pourrez accéder au wiki complet. + +Ce site est une copie statique et partielle de ce que l'on peut trouver sur le +wiki de l'association. Si vous êtes ici, alors +que vous avez demandé un autre site, c'est sans doute que vous êtes connecté +au réseau wifi de l'association mais que vous n'avez pas encore complété toutes +les étapes nécessaires pour avoir une connexion pleinement fonctionnelle. Ce site +contient donc les infos pour configurer correctement votre connexion.

-

%(pagename)s

+

%(pagenamewithlinks)s

%(pagehtml)s @@ -44,6 +46,8 @@ Cette page a ''' +#' + import os, time, cStringIO from MoinMoin.scripts import _util @@ -118,6 +122,12 @@ class MoinDump(_util.Script): for pagename in pages: file = wikiutil.quoteWikiname(pagename) + # On construit le nom de la page avec les liens (peut sans doute mieux faire) + pagenamewithlinks = [''] + for composant in pagename.split("/"): + pagenamewithlinks.append(pagenamewithlinks[-1]+'/'+composant) + pagenamewithlinks = " / ".join(map(lambda x: '%s' % ( + wikiutil.quoteWikiname(x[1:]), x[1:].split("/")[-1]), pagenamewithlinks[1:])) _util.log('Writing "%s"...' % file) try: pagehtml = '' @@ -143,6 +153,7 @@ class MoinDump(_util.Script): fileout = open(filepath, 'w') fileout.write(page_template % { 'pagename': pagename, + 'pagenamewithlinks': pagenamewithlinks, 'pagehtml': pagehtml.replace('%s/rightsidebar/img' % config.url_prefix, '/img'), 'timestamp': timestamp, })