# HG changeset patch
# User Neil Muller <drnlmuller@gmail.com>
# Date 1318934787 -7200
# Node ID 8473936c8884924131d62a22c84e848a1474d4c0
# Parent  9afaa1969d6ff7bd71143c623fcc5d8aba35eee9
Add quick-n-dirty conversion script

diff -r 9afaa1969d6f -r 8473936c8884 scripts/convert_old_level
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/convert_old_level	Tue Oct 18 12:46:27 2011 +0200
@@ -0,0 +1,28 @@
+#!/usr/bin/env python
+
+import sys
+
+mapfile=sys.argv[1]
+
+if mapfile == 'index.txt':
+    print 'Skipping index.txt'
+    sys.exit(0)
+
+f=open(mapfile, 'rU')
+lines=f.readlines()
+f.close()
+
+if lines[0].strip() == 'Version: 0.2.0':
+    print "%s already converted" % mapfile
+    sys.exit(0)
+
+out=open(mapfile, 'w')
+out.write('Version: 0.2.0\n')
+out.write('Name: %s' % lines[0])
+out.write('Author:\n')
+out.write('Tileset: %s' % lines[1])
+out.write('Music: %s' % lines[2])
+out.write(''.join(lines[3:]))
+out.close()
+
+print 'Converted: %s' % mapfile