From 2ec9ec575951260d31945099991b216c3d87ce14 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marco=20=22Capypara=22=20K=C3=B6pcke?= Date: Thu, 25 Dec 2025 11:29:40 +0100 Subject: [PATCH] jetbrains: source build updates: write repositories without prefix --- pkgs/applications/editors/jetbrains/source/update.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/editors/jetbrains/source/update.py b/pkgs/applications/editors/jetbrains/source/update.py index 38c54155260e..967ee9f1dca8 100755 --- a/pkgs/applications/editors/jetbrains/source/update.py +++ b/pkgs/applications/editors/jetbrains/source/update.py @@ -6,6 +6,7 @@ import pprint import pathlib import requests import json +import re from argparse import ArgumentParser from xmltodict import parse from json import dump, loads @@ -69,7 +70,11 @@ def jar_repositories(root_path: str) -> list[str]: for option in ensure_is_list(options): for item in option['option']: if item['@name'] == 'url': - repositories.append(item['@value']) + repositories.append( + # Remove protocol and cache-redirector server, we only want the original URL. We try both the original + # URL and the URL via the cache-redirector for download in build.nix + re.sub(r'^https?://', '', item['@value']).removeprefix("cache-redirector.jetbrains.com/") + ) return repositories