Messages/make_tips

   1 #!/bin/env python
   2
   3 from xmllib import *
   4 import string, os
   5
   6 print "Extracting translatable bits from Options.xml..."
   7
   8 class Parser(XMLParser):
   9         data = ""
  10
  11         def unknown_starttag(self, tag, attrs):
  12                 for x in ['title', 'label', 'end', 'unit']:
  13                         if attrs.has_key(x):
  14                                 self.trans(attrs[x])
  15                 self.data = ""
  16
  17         def handle_data(self, data):
  18                 self.data = self.data + data
  19
  20         def unknown_endtag(self, tag):
  21                 data = string.strip(self.data)
  22                 if data:
  23                         self.trans(data)
  24
  25         def trans(self, data):
  26                 data = string.join(string.split(data, '\n'), '\\n')
  27                 if data:
  28                         out.write('_("%s")\n' % data)
  29
  30 try:
  31         os.chdir("po")
  32 except OSError:
  33         pass
  34
  35 file = open('../Options.xml', 'rb')
  36 out = open('../tips', 'wb')
  37 parser = Parser()
  38 parser.feed(file.read())
  39 file.close()
  40 parser.close()
  41 out.close()
  42
  43 file = open('../Mixer.xml', 'rb')
  44 out = open('../tips', 'wb')
  45 parser = Parser()
  46 parser.feed(file.read())
  47 file.close()
  48 parser.close()
  49 out.close()