nik/FreedomBox
1
0
Fork 0
mirror of https://github.com/freedombox/FreedomBox.git synced 2026-01-21 07:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs: Fix MediaWiki manual page download failing

Browse Source 
- Removed an unnecessary and dangerous optimization which was added earlier.

Fixes #1369

Signed-off-by: Joseph Nuthalapati <njoseph@thoughtworks.com>
Reviewed-by: James Valleroy <jvalleroy@mailbox.org>
This commit is contained in:
Joseph Nuthalapati 2018-08-28 17:40:24 +05:30 committed by James Valleroy
parent fc3151a17c
commit b168599106
No known key found for this signature in database
GPG Key ID: 77C0C75E7B650808
1 changed files with 6 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
doc/fetch-manual-pages
View File

@ -18,7 +18,6 @@
import re
import urllib.request
from subprocess import PIPE, Popen
MANUAL_PAGE_URL = "https://wiki.debian.org/FreedomBox/Manual/{}?action=show&mimetype=text%2Fdocbook"
@ -29,7 +28,9 @@ manual_pages = []
to_remove = ['QuickStart', 'GettingHelp', 'Developer']
def write_manual_pages():
def list_manual_pages():
"""Fetch the list of manual pages and write them to a file.
"""
pattern = 'FreedomBox/Manual/\w+'
lst = list(urllib.request.urlopen(MANUAL_INDEX_RAW_URL))
global manual_pages
@ -45,19 +46,12 @@ def write_manual_pages():
def fetch_manual_pages_in_docbook_format():
for page in manual_pages:
url = MANUAL_PAGE_URL.format(page)
p1 = Popen(['wget', '--quiet', '-O', '-', url], stdout=PIPE)
p2 = Popen(['xmllint', '--format', '-'], stdin=p1.stdout, stdout=PIPE)
p1.stdout.close()
with open('{}.raw.xml'.format(page), 'w') as docbook:
p3 = Popen(
['egrep', '-v', 'linkend|Category|Commons|HELP|Back to'],
stdin=p2.stdout, stdout=docbook)
p2.stdout.close()
p3.communicate()
filename = '{}.raw.xml'.format(page)
urllib.request.urlretrieve(url, filename)
def main():
write_manual_pages()
list_manual_pages()
fetch_manual_pages_in_docbook_format()