extern/nixos-wiki-infra
1
0
Fork 1
mirror of https://github.com/Mic92/nixos-wiki-infra.git synced 2025-08-27 06:23:59 +02:00
Code Issues Packages Projects Releases Wiki Activity

downloaded extensions need to be unpacked

Browse Source
This commit is contained in:
Jörg Thalheim
2024-04-19 09:21:31 +02:00
parent 604798589a
commit a3f1f5f23d
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -67,15 +67,15 @@ def mirror_extension(extension_name: str, mediawiki_version: str) -> Extension:
with TemporaryDirectory() as tmpdir:
download_file(download_url.geturl(), f"{tmpdir}/{base_name}")
run(["gh", "release", "upload", base_name, f"{tmpdir}/{base_name}"])
hash = run(["nix-prefetch-url", mirror_url], stdout=subprocess.PIPE).stdout.strip()
hash = run(["nix-prefetch-url", "--unpack", mirror_url], stdout=subprocess.PIPE).stdout.strip()
return Extension(name=extension_name, hash=hash, url=mirror_url)
def write_nix_file(file: IO[str], mirrored_extensions: list[Extension]) -> None:
file.write("{ fetchurl }: {\n")
file.write("{ fetchzip }: {\n")
for extension in mirrored_extensions:
file.write(
f' "{extension.name}" = fetchurl {{ url = "{extension.url}"; sha256 = "{extension.hash}"; }};\n'
f' "{extension.name}" = fetchzip {{ url = "{extension.url}"; sha256 = "{extension.hash}"; }};\n'
)
file.write("}\n")