extern/nixos-wiki-infra
1
0
Fork 1
mirror of https://github.com/Mic92/nixos-wiki-infra.git synced 2025-08-24 04:56:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

add Translate and UniversialLanguageSelector

Browse Source
This commit is contained in:
Jörg Thalheim
2024-07-05 13:58:19 +02:00
committed by mergify[bot]
parent f96fce77ce
commit eb6f4a74c3
4 changed files with 16 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
modules/nixos-wiki/update-extensions.py
View File

@@ -70,7 +70,8 @@ def mirror_extension(extension_name: str, mediawiki_version: str) -> Extension:
run(["gh", "release", "upload", base_name, f"{tmpdir}/{base_name}"])
for i in range(30):
try:
hash = run(["nix-prefetch-url", "--unpack", mirror_url], stdout=subprocess.PIPE).stdout.strip()
data = run(["nix", "store", "prefetch-file", "--unpack", mirror_url, "--json"], stdout=subprocess.PIPE).stdout.strip()
hash = json.loads(data)["hash"]
except subprocess.CalledProcessError:
# sometimes github takes a while to make releases available
print("nix-prefetch-url failed, retrying")
@@ -85,7 +86,7 @@ def write_nix_file(file: IO[str], mirrored_extensions: list[Extension]) -> None:
file.write("{ fetchzip }: {\n")
for extension in mirrored_extensions:
file.write(
f' "{extension.name}" = fetchzip {{ url = "{extension.url}"; sha256 = "{extension.hash}"; }};\n'
f' "{extension.name}" = fetchzip {{ url = "{extension.url}"; hash = "{extension.hash}"; }};\n'
)
file.write("}\n")