Re: how to customize mirror list used in custom channels?

["Ludovic Courtès" <ludo@gnu.org>]

zimoun <zimon.toutoune@gmail.com> skribis:

> Hi,
>
> On Mon, 28 Nov 2022 at 11:49, Ludovic Courtès <ludo@gnu.org> wrote:
>> Hi,
>>
>> zimoun <zimon.toutoune@gmail.com> skribis:
>>
>>> On Sat, 26 Nov 2022 at 12:11, Ludovic Courtès <ludo@gnu.org> wrote:
>>
>> [...]
>>
>>>> Now, if you really want to extend the set of things recognized, you
>>>> could write variant of ‘url-fetch’ that passes a different #:mirrors
>>>> argument to ‘built-in-download’.  Maybe ‘url-fetch’ could have a
>>>> #:mirrors parameter to simplify it.
>>>
>>> Why is it not possible to extend ’%mirrors?
>>
>> What I described above is one way to extend it, just not via ‘set!’.
>
> Just to be sure, one way is this extension mechanism,

I was referring to #:mirrors etc. above.

[...]

> The other one way is to implement a variant of url-fetch method.  What
> would be the interface?  Where the extended list of mirrors would be
> provided?

The more I write, the closer I get to an actual implementation.  :-)
If ‘url-fetch’ takes a #:mirrors, that should allow us to extend the set
of mirrors quite conveniently, along the lines of:

  (define (my-url-fetch . args)
    (apply url-fetch (append args '(#:mirrors …))))

HTH!

Ludo’.