It was very much preferable when this was still a maintenance script, mostly because it had the useful property of working!
/var/www/emergent/extensions/DumpHTML$ *php dumpHTML.php
/tmp/emergent_static/ -k monobook* Initialising destination directory... Warning: mkdir(): Permission denied in /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072 Unable to create destination directory. Backtrace: #0 /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.php(137): DumpHTML->setupDestDir() #1 {main}
Now, let's comment out line 137 of dumpHTML.php and see what happens (I already created this directory anyway - it doesn't need to do that).
/var/www/emergent/extensions/DumpHTML$ *php dumpHTML.php
/tmp/emergent_static/ -k monobook* Creating static HTML dump in directory /var/www/mediawiki/code/static. Using database localhost Starting from page_id 1 of 813 Warning: mkdir(): Permission denied in /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072 Warning: file_put_contents(/var/www/mediawiki/code/static/misc/logo.png): failed to open stream: No such file or directory in /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.inc on line 778 Warning: mkdir(): Permission denied in /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072 Warning: file_put_contents(/var/www/mediawiki/code/static/misc/favicon.ico): failed to open stream: No such file or directory in /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.inc on line 778 Processing ID: 1 Warning: mkdir(): Permission denied in /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072 Error: unable to create directory '/var/www/mediawiki/code/static/articles/m/a/i'. Warning: file_put_contents(/var/www/mediawiki/code/static/articles/m/a/i/Main_Page_(old)_0e7f.html): failed to open stream: No such file or directory in /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.inc on line 564 Can't open file '/var/www/mediawiki/code/static/articles/m/a/i/Main_Page_(old)_0e7f.html' for writing. Check permissions or use another destination (-d).
I don't know why this script isn't working. But one thing is clear - it is thinking *entirely too hard* about what it's supposed to be doing. Whatever changes have been made since this was a maintenance script have not been great changes for me.
I tried using wget. Something like: wget -e robots=off --mirror -I emergent --convert-links --no-parent http://grey.colorado.edu/emergent
But mediawiki is a dynamic content trap when it comes to wget, so I am presently without a solution.
Does anyone see whats wrong with this script?
Thanks, Brian