Karl/BobStore
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove-unused-trans: no need to handle arrays.xml

Browse Source
This commit is contained in:
Daniel Martí 2015-09-13 16:41:58 -07:00
parent b78ad7ea4f
commit d2f41cd571
1 changed files with 4 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
F-Droid/tools/remove-unused-trans.py
View File

@ -8,20 +8,18 @@ import re
from xml.etree import ElementTree from xml.etree import ElementTree
strings = set() strings = set()
arrays = set()
for e in ElementTree.parse(os.path.join('res', 'values', 'strings.xml')).getroot().findall('.//string'): for e in ElementTree.parse(os.path.join('res', 'values', 'strings.xml')).getroot().findall('.//string'):
name = e.attrib['name'] name = e.attrib['name']
strings.add(name) strings.add(name)
for e in ElementTree.parse(os.path.join('res', 'values', 'array.xml')).getroot().findall('.//string-array'):
name = e.attrib['name']
arrays.add(name)
for d in glob.glob(os.path.join('res', 'values-*')): for d in glob.glob(os.path.join('res', 'values-*')):
str_path = os.path.join(d, 'strings.xml') str_path = os.path.join(d, 'strings.xml')
if os.path.exists(str_path): if os.path.exists(str_path):
header = ''
with open(str_path, 'r') as f:
header = f.readline()
tree = ElementTree.parse(str_path) tree = ElementTree.parse(str_path)
root = tree.getroot() root = tree.getroot()
@ -34,24 +32,6 @@ for d in glob.glob(os.path.join('res', 'values-*')):
result = re.sub(r' />', r'/>', ElementTree.tostring(root, encoding='utf-8')) result = re.sub(r' />', r'/>', ElementTree.tostring(root, encoding='utf-8'))
with open(str_path, 'w+') as f: with open(str_path, 'w+') as f:
f.write('<?xml version="1.0" encoding="utf-8"?>\n') f.write(header)
f.write(result)
f.write('\n')
arr_path = os.path.join(d, 'array.xml')
if os.path.exists(arr_path):
tree = ElementTree.parse(arr_path)
root = tree.getroot()
elems = root.findall('.//string-array')
for e in elems:
name = e.attrib['name']
if name not in arrays:
root.remove(e)
result = re.sub(r' />', r'/>', ElementTree.tostring(root, encoding='utf-8'))
with open(arr_path, 'w+') as f:
f.write('<?xml version="1.0" encoding="utf-8"?>\n')
f.write(result) f.write(result)
f.write('\n') f.write('\n')