diff --git a/.github/scripts/create-repo.py b/.github/scripts/create-repo.py index b31cd8183..d35ea9292 100755 --- a/.github/scripts/create-repo.py +++ b/.github/scripts/create-repo.py @@ -1,3 +1,4 @@ +import html import json import os import re @@ -107,3 +108,10 @@ with (REPO_DIR / "index.json").open("w", encoding="utf-8") as f: with (REPO_DIR / "index.min.json").open("w", encoding="utf-8") as f: json.dump(index_min_data, f, ensure_ascii=False, separators=(",", ":")) +with (REPO_DIR / "index.html").open("w", encoding="utf-8") as f: + f.write('\n\n
\n\n\n') + for entry in index_data: + apk_escaped = 'apk/' + html.escape(entry["apk"]) + name_escaped = html.escape(entry["name"]) + f.write(f'{name_escaped}\n') + f.write('\n\n\n')