6 print "Usage: %s FILENAME" % sys.argv[0]
9 print ";; Converting:", sys.argv[1]
11 f = open(sys.argv[1], 'r')
12 mycontent = f.readlines()
17 content.append(i[:-1])
23 background = content[4]
31 print "(supertux-level"
32 print " (name \"%s\")" % name
33 print " (theme \"%s\")" % theme
34 print " (music \"%s\")" % music
35 print " (background \"%s\")" % background
36 print " (bkgd_red %s)" % red
37 print " (bkgd_green %s)" % green
38 print " (bkgd_blue %s)" % blue
39 print " (time %s)" % time
40 print " (width %s)" % width
41 print " (gravity %s)" % gravity
43 for i in content[10:]:
45 sys.stdout.write("%3d" % ord(x))