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