On Tue, 2019-10-29 at 14:03 +0100, Ulrich Mueller wrote:
> > > > > > On Tue, 29 Oct 2019, Michał Górny wrote:
> > On Tue, 2019-10-29 at 13:23 +0100, Ulrich Mueller wrote:
> > > 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.
> 
> What if the file is hosted at a non-standard tcp port upstream (like
> http://example.org:8080/)? The devmanual says that it _must_ be manually
> uploaded to /space/distfiles-local/ in such cases.
> 

I can't really see why this wouldn't work.  I've just did an experiment
using app-benchmarks/forkbomb, and emirrordist fetched it just fine.

-- 
Best regards,
Michał Górny