1 |
>>>>> On Tue, 29 Oct 2019, Michał Górny wrote: |
2 |
|
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 |
|
8 |
> The file should be placed in SRC_URI, and emirrordist will take care |
9 |
> of fetching it. |
10 |
|
11 |
What if the file is hosted at a non-standard tcp port upstream (like |
12 |
http://example.org:8080/)? The devmanual says that it _must_ be manually |
13 |
uploaded to /space/distfiles-local/ in such cases. |
14 |
|
15 |
Ulrich |