Re: fetching distfiles (was: Re: window maker dependencies..)

[Ted <ted_(_at_)_pobox_(_dot_)_com>]

On 20/11/2004, at 09:25, Julian Leyh wrote:

> > By having wget with -c when installing a port wget will be used to
> > fetch the sources'
> > and will resume downloading the source if interrupted.
>
> if make fetch fails (interrupted internet connection, timeout, etc..),
> the partly downloaded source will be deleted.. and if there was a 
> partly
> downloades source, make fetch would think it's complete and make
> checksum fails.

I tried it out, and I concur. using wget this is what happens if I 
cancel a make fetch:
^C*** /usr/ports/distfiles/netperf-2.3.tar.gz removed


> > The -t2 switch just sets a 2 second timeout. You can change this to
> > suit your needs.
>
> nope, -t2 is the same as --tries=2, resulting in 2 retries if download
> fails. what you think of is --timeout=2 or -T2.
> btw, doesn't make fetch try to fetch it multiple times already?

My mistake... yes that was mean to be tries not timeout.
Yep fetch tries multiple times. looks like using all the options I was
using with wget for fetching are not worth it.

So then the only reason I would use FETCH_CMD=wget is to have a nicer 
output :-)

I will give your "fetcher" script a try and see what happens.

--
Key: 0x2B272DFD | E564 BCC1 F601 5D1F 01CD AC10 C37D D2B0 2B27 2DFD
Ted