>>>>> On Tue, 29 Oct 2019, Michał Górny wrote: > On Tue, 2019-10-29 at 14:09 +0100, Ulrich Mueller wrote: >> > 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.
>> Or another example, app-emacs/vhdl-mode-3.38.1, where (incompetent, >> or nasty?) upstream blocks wget for some reason, but other methods >> (e.g., curl, firefox) work? How would I get the file onto the mirrors >> there? > If I were you, I would've explicitly mirrored the file anyway. > If upstream blocks wget, then users who do not use GENTOO_MIRRORS will > also suffer due to it. All what I'm saying is that there can be unusual circumstances where manual uploading of a file is useful. So please don't take that possibility away. Ulrich
signature.asc
Description: PGP signature
