Changes

Jump to: navigation, search

Reencoding MediaWiki pages

368 bytes added, 03:07, 9 November 2009
Created page with 'The following script is a work in progress. The end goal is to produce [w:WikiMarkup] from the HTML of a downloaded [w:MediaWiki] page. <pre> sed -rn -e '/<!-- start content -->…'
The following script is a work in progress. The end goal is to produce [w:WikiMarkup] from the HTML of a downloaded [w:MediaWiki] page.

<pre>
sed -rn -e '/<!-- start content -->/,/<!--/p' page.html | \
sed -r -e '/<!--/d' -e 's%</?p>%%g' \
-e 's%<br>%<br />%' \
-e 's|<a href="([^"]*)" class="external text" title="[^"]*" rel="nofollow">([^<]*)</a>|[\1 \2]|'
</pre>
Anonymous user

Navigation menu