在xml中查找并除以数字

Question

我有一个带X和Y坐标的xml（皮肤）文件。 我必须划分（1.5）标签内的所有数字：

position = "x, x" or size = "x, x"

示例：

position = "1700,90" size = "125,125"

变为：

position = "1113,60" size = "83,83"

文件非常大我无法做1到1.我需要一个脚本（.sh或.py），我创建了一些但不成功的。

Answer 1

如果文件非常大，最好是使用SAX xml parser，或使用libxml2（非常快速的解析器）的http://lxml.de。我推荐SAX因为你不需要DOM，只是为了找到特定的标签并改变它的属性（？）。脚本就像过滤器一样。另一种选择是使用grep，但grep表达式可能很复杂（我不知道你的XML文件是如何看的）。