1 |
On Tue, 2019-10-29 at 14:09 +0100, Ulrich Mueller wrote: |
2 |
> > > > > > On Tue, 29 Oct 2019, Ulrich Mueller wrote: |
3 |
> > > > > > On Tue, 29 Oct 2019, Michał Górny wrote: |
4 |
> > > The file should be placed in SRC_URI, and emirrordist will take care |
5 |
> > > of fetching it. |
6 |
> > What if the file is hosted at a non-standard tcp port upstream (like |
7 |
> > http://example.org:8080/)? The devmanual says that it _must_ be manually |
8 |
> > uploaded to /space/distfiles-local/ in such cases. |
9 |
> |
10 |
> Or another example, app-emacs/vhdl-mode-3.38.1, where (incompetent, |
11 |
> or nasty?) upstream blocks wget for some reason, but other methods |
12 |
> (e.g., curl, firefox) work? How would I get the file onto the mirrors |
13 |
> there? |
14 |
> |
15 |
|
16 |
If I were you, I would've explicitly mirrored the file anyway. |
17 |
If upstream blocks wget, then users who do not use GENTOO_MIRRORS will |
18 |
also suffer due to it. |
19 |
|
20 |
-- |
21 |
Best regards, |
22 |
Michał Górny |