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

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

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

> i could think of something like this:
>
> $ cat fetcher
> #!/bin/sh
> FILE=`basename $1`
> wget -c $1 -O ${FILE}.part
> RESULT=$?
> if [ ${RESULT} = 0 ]; then
>   mv ${FILE}.part ${FILE}
> else
>   return ${RESULT}
> fi
> $ echo FETCH_CMD=fetcher >> /etc/mk.conf

and
chmod a+x fetcher

I gave it a go, and it works as advertised :)

> please post better solutions...

If I come up with one I will let you know.

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