#!/bin/sh
#
# Very simple converter
# Convert mysqldump from MySQL Database robtestproduction
# on robtestdb.physi.uni-heidelberg.de
# to a psql readable format
# Dump creation: mysqldump -u root -p robtestproduction > dump.sql
# Convert: ./convert2psql 
# Import to PostgreSQL: psql robtestproduction -s -f dump.4psql.sql 

file=dump.sql
cp $file input
sed 's!`!!g' input > dummy
cp dummy input
sed 's!int(10)!integer!g' input > dummy
cp dummy input
sed 's!longtext!text!g' input > dummy
cp dummy input
sed 's!datetime!timestamp!g' input > dummy
cp dummy input
sed -e '/LOCK/d' input > dummy
cp dummy input
sed -e 's/ENGINE=MyISAM DEFAULT CHARSET=latin1//g' input > dummy
cp dummy input
sed -e '/^SET/d' input > dummy
cp dummy dump.4psql.sql
rm dummy
rm input