Re: [gentoo-dev] Re: Can pkg_nofetch determine if a file is already downloaded?

Dnia October 17, 2018 4:03:17 PM UTC, Michael Haubenwallner napisał(a): >On 10/15/2018 08:05 PM, Michał Górny wrote: >> On Mon, 2018-10-15 at 13:34 +0200, Michael Haubenwallner wrote: >>> Hi, >>> >>> in pkg_nofetch, beyond to "direct the user to download relevant >source files", >>> I've found

[gentoo-dev] Re: Can pkg_nofetch determine if a file is already downloaded?

On 10/15/2018 08:05 PM, Michał Górny wrote: > On Mon, 2018-10-15 at 13:34 +0200, Michael Haubenwallner wrote: >> Hi, >> >> in pkg_nofetch, beyond to "direct the user to download relevant source >> files", >> I've found it useful to tell the user which filesystem directory to put the >> files into