Re: pypi URL change

[Ludovic Courtès]

Cyril Roelandt <address@hidden> skribis:

> On 04/25/2016 01:21 AM, Ben Woodcroft wrote:
>> 2) The new URLs are even uglier than the old one and a working pypi-uri 
>> would hide them from our eyes.
>
> Yeah but it is my understanding that the new pattern will only be
> applied to new releases, so how will pypi-uri know what pattern to apply?

How about changing ‘pypi-uri’ to return two URIs, the new one and the
old one, in this order?

That way, attempts to download will first try the first URI, then the
second.

Alternately, we could define a “pypi” mirror in (guix download) that
would contain at least these two URIs, and have ‘pypi-uri’ return
“mirror://pypi/…”.  That only works if the two URIs share the same
suffix, though.

WDYT?

Ludo’.