diff options
| author | Jon Dowland <jon@alcopop.org> | 2009-10-16 11:23:55 +0100 |
|---|---|---|
| committer | Jon Dowland <jon@alcopop.org> | 2009-10-16 11:23:55 +0100 |
| commit | 0bee92347020e3034faea5d3cc045ca443e4221c (patch) | |
| tree | 57432ee86601e5cbf8c013eba90c472a4b633ff0 | |
| parent | 58287a929b0ea209a062d11940232a3d31805885 (diff) | |
| download | ikiwiki-0bee92347020e3034faea5d3cc045ca443e4221c.tar ikiwiki-0bee92347020e3034faea5d3cc045ca443e4221c.tar.gz | |
minor reworking of page fetch section
| -rw-r--r-- | doc/tips/convert_mediawiki_to_ikiwiki.mdwn | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn index 3f771ed9b..4a750882b 100644 --- a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn +++ b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn @@ -53,7 +53,7 @@ Once you have a list of page names, you can fetch the data for each page. ### Method 1: via HTTP and `action=raw` -You need to create two derived strings from the page titles already: the +You need to create two derived strings from the page titles: the destination path for the page and the source URL. Assuming `$pagename` contains a pagename obtained above, and `$wiki` contains the URL to your mediawiki's `index.php` file: @@ -64,6 +64,9 @@ mediawiki's `index.php` file: mkdir -p `dirname "$dest"` wget -q "$wiki?title=$src&action=raw" -O "$dest" +You may need to add more conversions here depending on the precise page titles +used in your wiki. + ### Method 2: via HTTP and `Special:Export` Mediawiki also has a special page `Special:Export` which can be used to obtain |