update-mirrors-in-default_repos.xml.py: default_repos.xml is no more

This commit is contained in:
Hans-Christoph Steiner
2026-07-10 16:13:37 +02:00
parent 64afa0a042
commit 9c1d50de6d

View File

@@ -32,18 +32,3 @@ for repo in data:
repo["mirrors"] = archive_mirrors
with open(default_repos, 'w') as json_file:
json.dump(data, json_file, indent=2)
# legacy XML default repos
default_repos_legacy = 'legacy/src/main/res/values/default_repos.xml'
tree = ET.parse(default_repos_legacy)
root = tree.getroot()
i = 0
indent = '\n '
for item in root.iter('item'):
if i == 1:
item.text = indent + (indent.join([REPO_URL] + mirrors)) + '\n '
elif i == 8:
item.text = indent + (indent.join([ARCHIVE_URL] + mirrors).replace('/repo', '/archive')) + '\n '
i += 1
tree.write(default_repos_legacy)