#!/usr/bin/env nix-shell #!nix-shell -p python3 nix -i python3 # format: # $ nix run nixpkgs.python3Packages.black -c black update.py # type-check: # $ nix run nixpkgs.python3Packages.mypy -c mypy update.py # linted: # $ nix run nixpkgs.python3Packages.flake8 -c flake8 --ignore E501,E265 update.py import functools import json import os import subprocess import sys import traceback import urllib.error import urllib.request import xml.etree.ElementTree as ET from datetime import datetime from multiprocessing.dummy import Pool from pathlib import Path from typing import Dict, List, Optional, Tuple, Union from urllib.parse import urljoin, urlparse ATOM_ENTRY = "{http://www.w3.org/2005/Atom}entry" ATOM_LINK = "{http://www.w3.org/2005/Atom}link" ATOM_UPDATED = "{http://www.w3.org/2005/Atom}updated" ROOT = Path(__file__).parent class Repo: def __init__(self, owner: str, name: str) -> None: self.owner = owner self.name = name def url(self, path: str) -> str: return urljoin(f"https://github.com/{self.owner}/{self.name}/", path) def __repr__(self) -> str: return f"Repo({self.owner}, {self.name})" def has_submodules(self) -> bool: try: urllib.request.urlopen(self.url("blob/master/.gitmodules")).close() except urllib.error.HTTPError as e: if e.code == 404: return False else: raise return True def latest_commit(self) -> Tuple[str, datetime]: with urllib.request.urlopen(self.url("commits/master.atom")) as req: xml = req.read() root = ET.fromstring(xml) latest_entry = root.find(ATOM_ENTRY) assert latest_entry is not None, f"No commits found in repository {self}" commit_link = latest_entry.find(ATOM_LINK) assert commit_link is not None, f"No link tag found feed entry {xml}" url = urlparse(commit_link.get("href")) updated_tag = latest_entry.find(ATOM_UPDATED) assert ( updated_tag is not None and updated_tag.text is not None ), f"No updated tag found feed entry {xml}" updated = datetime.strptime(updated_tag.text, "%Y-%m-%dT%H:%M:%SZ") return Path(url.path).name, updated def prefetch_git(self, ref: str) -> str: data = subprocess.check_output( ["nix-prefetch-git", "--fetch-submodules", self.url(""), ref] ) return json.loads(data)["sha256"] def prefetch_github(self, ref: str) -> str: data = subprocess.check_output( ["nix-prefetch-url", "--unpack", self.url(f"archive/{ref}.tar.gz")] ) return data.strip().decode("utf-8") class Plugin: def __init__( self, name: str, commit: str, has_submodules: bool, sha256: str, date: Optional[datetime] = None, ) -> None: self.name = name self.commit = commit self.has_submodules = has_submodules self.sha256 = sha256 self.date = date @property def normalized_name(self) -> str: return self.name.replace(".", "-") @property def version(self) -> str: assert self.date is not None return self.date.strftime("%Y-%m-%d") def as_json(self) -> Dict[str, str]: copy = self.__dict__.copy() del copy["date"] return copy GET_PLUGINS = """(with import {}; let hasChecksum = value: lib.isAttrs value && lib.hasAttrByPath ["src" "outputHash"] value; getChecksum = name: value: if hasChecksum value then { submodules = value.src.fetchSubmodules or false; sha256 = value.src.outputHash; rev = value.src.rev; } else null; checksums = lib.mapAttrs getChecksum vimPlugins; in lib.filterAttrs (n: v: v != null) checksums)""" def get_current_plugins() -> List[Plugin]: out = subprocess.check_output(["nix", "eval", "--json", GET_PLUGINS]) data = json.loads(out) plugins = [] for name, attr in data.items(): p = Plugin(name, attr["rev"], attr["submodules"], attr["sha256"]) plugins.append(p) return plugins def prefetch_plugin(user: str, repo_name: str, cache: "Cache") -> Plugin: repo = Repo(user, repo_name) commit, date = repo.latest_commit() has_submodules = repo.has_submodules() cached_plugin = cache[commit] if cached_plugin is not None: cached_plugin.date = date return cached_plugin print(f"prefetch {user}/{repo_name}") if has_submodules: sha256 = repo.prefetch_git(commit) else: sha256 = repo.prefetch_github(commit) return Plugin(repo_name, commit, has_submodules, sha256, date=date) def print_download_error(plugin: str, ex: Exception): print(f"{plugin}: {ex}", file=sys.stderr) ex_traceback = ex.__traceback__ tb_lines = [ line.rstrip("\n") for line in traceback.format_exception(ex.__class__, ex, ex_traceback) ] print("\n".join(tb_lines)) def check_results( results: List[Tuple[str, str, Union[Exception, Plugin]]] ) -> List[Tuple[str, str, Plugin]]: failures: List[Tuple[str, Exception]] = [] plugins = [] for (owner, name, result) in results: if isinstance(result, Exception): failures.append((name, result)) else: plugins.append((owner, name, result)) print(f"{len(results) - len(failures)} plugins were checked", end="") if len(failures) == 0: print() else: print(f", {len(failures)} plugin(s) could not be downloaded:\n") for (plugin, exception) in failures: print_download_error(plugin, exception) return plugins def load_plugin_spec() -> List[Tuple[str, str]]: plugin_file = ROOT.joinpath("vim-plugin-names") plugins = [] with open(plugin_file) as f: for line in f: spec = line.strip() parts = spec.split("/") if len(parts) != 2: msg = f"Invalid repository {spec}, must be in the format owner/repo" print(msg, file=sys.stderr) sys.exit(1) plugins.append((parts[0], parts[1])) return plugins def get_cache_path() -> Optional[Path]: xdg_cache = os.environ.get("XDG_CACHE_HOME", None) if xdg_cache is None: home = os.environ.get("HOME", None) if home is None: return None xdg_cache = str(Path(home, ".cache")) return Path(xdg_cache, "vim-plugin-cache.json") class Cache: def __init__(self, initial_plugins: List[Plugin]) -> None: self.cache_file = get_cache_path() downloads = {} for plugin in initial_plugins: downloads[plugin.commit] = plugin downloads.update(self.load()) self.downloads = downloads def load(self) -> Dict[str, Plugin]: if self.cache_file is None or not self.cache_file.exists(): return {} downloads: Dict[str, Plugin] = {} with open(self.cache_file) as f: data = json.load(f) for attr in data.values(): p = Plugin( attr["name"], attr["commit"], attr["has_submodules"], attr["sha256"] ) downloads[attr["commit"]] = p return downloads def store(self) -> None: if self.cache_file is None: return os.makedirs(self.cache_file.parent, exist_ok=True) with open(self.cache_file, "w+") as f: data = {} for name, attr in self.downloads.items(): data[name] = attr.as_json() json.dump(data, f, indent=4, sort_keys=True) def __getitem__(self, key: str) -> Optional[Plugin]: return self.downloads.get(key, None) def __setitem__(self, key: str, value: Plugin) -> None: self.downloads[key] = value def prefetch( args: Tuple[str, str], cache: Cache ) -> Tuple[str, str, Union[Exception, Plugin]]: assert len(args) == 2 owner, repo = args try: plugin = prefetch_plugin(owner, repo, cache) cache[plugin.commit] = plugin return (owner, repo, plugin) except Exception as e: return (owner, repo, e) header = ( "# This file has been generated by ./pkgs/misc/vim-plugins/update.py. Do not edit!" ) def generate_nix(plugins: List[Tuple[str, str, Plugin]]): sorted_plugins = sorted(plugins, key=lambda v: v[2].name.lower()) with open(ROOT.joinpath("generated.nix"), "w+") as f: f.write(header) f.write( """ { buildVimPluginFrom2Nix, fetchFromGitHub }: {""" ) for owner, repo, plugin in sorted_plugins: if plugin.has_submodules: submodule_attr = "\n fetchSubmodules = true;" else: submodule_attr = "" f.write( f""" {plugin.normalized_name} = buildVimPluginFrom2Nix {{ name = "{plugin.normalized_name}-{plugin.version}"; src = fetchFromGitHub {{ owner = "{owner}"; repo = "{repo}"; rev = "{plugin.commit}"; sha256 = "{plugin.sha256}";{submodule_attr} }}; }}; """ ) f.write("}") print("updated generated.nix") def main() -> None: plugin_names = load_plugin_spec() current_plugins = get_current_plugins() cache = Cache(current_plugins) prefetch_with_cache = functools.partial(prefetch, cache=cache) try: # synchronous variant for debugging # results = map(prefetch_with_cache, plugins) pool = Pool(processes=30) results = pool.map(prefetch_with_cache, plugin_names) finally: cache.store() plugins = check_results(results) generate_nix(plugins) if __name__ == "__main__": main()