From MathWeb

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