On Tue, 2019-10-29 at 13:23 +0100, Ulrich Mueller wrote: > > > > > > On Tue, 29 Oct 2019, Michał Górny wrote: > > Dnia October 29, 2019 9:34:01 AM UTC, Fabian Groffen napisał(a): > > > /space/distfiles-local is no longer copied to the mirrors? or just > > > not copied in the subdir-hierarchy? > > The latter. > > So, what has to be be done to have it appear in the proper place? Should > the file be placed in a subdir of /space/distfiles-local/? That seems to > be error prone, and certainly could be automated? The file should be placed in SRC_URI, and emirrordist will take care of fetching it. > > > > Just wondering. Do you mean it isn't valid that some upstreams do > > > this (yes horror)? We surely need a way to work around that ... > > I mean the method using same filename and expecting distfiles-local to > > overwrite it. It is preferable to just rename it. > > Looks like this will break backwards compatibility. IIUC, backwards > compatibility is also broken on the receiving side, that is, > mirror://gentoo/ in SRC_URI will no longer work as expected? Yes, this was noted in the top mail. > Shouldn't GLEP 75 have mentioned this? It's certainly something that > needs to be discussed before the GLEP is implemented. GLEP only covers how regular distfile fetching works. Third-party mirrors are out of scope, and all the people working on it and reviewing it have missed the problem. That said, this can't be fixed within bounds defined by PMS. Given that mirror://gentoo is discouraged since at least 2011, I don't see a big deal here. One day it'll stop working; we should stop using it before then. -- Best regards, Michał Górny