SWiM/database

Tips & Tricks
Creating a shell script that creates OMDoc documents from documents in the database.

psql -t -A -c "select 'cat > ' || title || '.omdoc <<\'__EOF__\'\n' || text || '\n__EOF__\n' from current_page where title like 'omstd-%'" ikewiki ikewiki > extract.sh