#!/bin/python # # xfontsize.py # Python # # Created by chapado on 2008-07-24. # # Modifies all font sizes for a particular theme by editing the Font.xml # file. import fileinput, sys, os, re, string def modifyfont(fontfile, fontdelta): fontfile = os.path.join(os.getcwd(), fontfile) fontdelta = str(fontdelta) sizetag = re.compile("(.?([0-9]{2})", re.I) for line in fileinput.input(fontfile, inplace=1): if re.search(sizetag, line) != None: oldsize = re.sub(sizetag, "\\2", line) oldsize = int(oldsize) fontdelta = int(fontdelta) newsize = oldsize + fontdelta #line = "" + str(newsize) + "" line = re.sub(sizetag, "\\1>" + str(newsize) + "", line) if '\n' in line: line = line[:-1] print line else: if '\n' in line: line = line[:-1] print line def main(): try: modifyfont(sys.argv[1], sys.argv[2]) except IndexError: print "Usage: %s [font xml file] [fontsize change]\nExample:\n\t\t%s Font.xml -10 \t #decreases fontsize by 10\n\t\t%s Font.xml 10 \t #increases font size by 10" % (os.path.basename(sys.argv[0]), os.path.basename(sys.argv[0]), os.path.basename(sys.argv[0])) sys.exit(2) if __name__ == '__main__': main() sys.exit(0)