| 1 |
On Tue, 2019-10-29 at 14:03 +0100, Ulrich Mueller wrote: |
| 2 |
> > > > > > On Tue, 29 Oct 2019, Michał Górny wrote: |
| 3 |
> > On Tue, 2019-10-29 at 13:23 +0100, Ulrich Mueller wrote: |
| 4 |
> > > So, what has to be be done to have it appear in the proper place? |
| 5 |
> > > Should the file be placed in a subdir of /space/distfiles-local/? |
| 6 |
> > > That seems to be error prone, and certainly could be automated? |
| 7 |
> > The file should be placed in SRC_URI, and emirrordist will take care |
| 8 |
> > of fetching it. |
| 9 |
> |
| 10 |
> What if the file is hosted at a non-standard tcp port upstream (like |
| 11 |
> http://example.org:8080/)? The devmanual says that it _must_ be manually |
| 12 |
> uploaded to /space/distfiles-local/ in such cases. |
| 13 |
> |
| 14 |
|
| 15 |
I can't really see why this wouldn't work. I've just did an experiment |
| 16 |
using app-benchmarks/forkbomb, and emirrordist fetched it just fine. |
| 17 |
|
| 18 |
-- |
| 19 |
Best regards, |
| 20 |
Michał Górny |
Archives