A badly written script to import Dokuwiki files into MediaWiki

import-into-mediawiki.py

#!/usr/bin/python3

import os
from urllib.parse import unquote

MEDIAWIKI_DIR = '/var/lib/mediawiki/'

# Files are assumed to be in a dir called mod
# in the same directory as the script
[(_, _, file_names)] = os.walk('mod')

os.chdir(os.path.join(MEDIAWIKI_DIR, 'maintenance'))

for file_name in file_names:
    page_name = unquote(file_name.split('.')[0])
    print('Importing:', page_name)
    os.system(
        'php edit.php -u admin -s "Migrated from old wiki" {0} < /vagrant/mod/{1}'.
        format(page_name, file_name))