Commit 1ee11332 authored by Honnip's avatar Honnip Committed by Jan Tojnar
Browse files

gnomeExtensions/update: Send User-Agent when scraping extensions

parent 13e52491

pkgs/desktops/gnome/extensions/update-extensions.py

+7 −1
Original line number Diff line number Diff line
@@ -223,9 +223,15 @@ def process_extension(extension: dict[str, Any]) -> dict[str, Any] | None: 


@contextmanager

def request(url: str, retries: int = 5, retry_codes: list[int] = [500, 502, 503, 504]):

    req = urllib.request.Request(

        url,

        headers={

            "User-Agent": "NixpkgsGnomeExtensionUpdate (+https://github.com/NixOS/nixpkgs)"

        },

    )

    for attempt in range(retries + 1):

        try:

            with urllib.request.urlopen(url) as response:

            with urllib.request.urlopen(req) as response:

                yield response

                break

        except urllib.error.HTTPError as e: