annotate scripts/convert_old_level @ 601:915de6c7d342 default tip

Add support for making the editor fullscreen too.
author Simon Cross <hodgestar@gmail.com>
date Sat, 14 Jan 2023 19:34:26 +0100
parents fca61cd8fc33
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
562
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
1 #!/usr/bin/env python
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
2
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
3 import sys
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
4
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
5 mapfile=sys.argv[1]
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
6
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
7 if mapfile == 'index.txt':
589
fca61cd8fc33 Start working towards py3 port
Neil Muller <drnlmuller@gmail.com>
parents: 562
diff changeset
8 print('Skipping index.txt')
562
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
9 sys.exit(0)
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
10
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
11 f=open(mapfile, 'rU')
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
12 lines=f.readlines()
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
13 f.close()
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
14
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
15 if lines[0].strip() == 'Version: 0.2.0':
589
fca61cd8fc33 Start working towards py3 port
Neil Muller <drnlmuller@gmail.com>
parents: 562
diff changeset
16 print("%s already converted" % mapfile)
562
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
17 sys.exit(0)
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
18
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
19 out=open(mapfile, 'w')
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
20 out.write('Version: 0.2.0\n')
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
21 out.write('Name: %s' % lines[0])
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
22 out.write('Author:\n')
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
23 out.write('Tileset: %s' % lines[1])
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
24 out.write('Music: %s' % lines[2])
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
25 out.write(''.join(lines[3:]))
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
26 out.close()
8473936c8884 Add quick-n-dirty conversion script
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
27
589
fca61cd8fc33 Start working towards py3 port
Neil Muller <drnlmuller@gmail.com>
parents: 562
diff changeset
28 print('Converted: %s' % mapfile)