Re: Easy way to downalod .deb files?

[grante@visi.com (Grant Edwards)]

In muc.lists.debian.user, you wrote:

> On Wed, Jul 24, 2002 at 10:43:29AM -0500, Grant Edwards wrote:
>> Is there a simple way to download .deb files from the archive?
> 
> There used to be a script called debget (perhaps still is) which did
> that, but it broke when pools were introduced.

Ah. I thought there was a command that (at one time) did what I
wanted.

> One possible solution is to install grep-dctrl and wget and use
> something like this in a script:
> 
>   #! /bin/sh -e
>   MIRROR=${MIRROR:-http://http.us.debian.org/debian}
>   FILENAME=$(grep-available -nsFilename -PX "$1")
>   if [ -n "$FILENAME" ]; then
>     wget "$MIRROR/$FILENAME"
>   else
>     echo "$1 not found." >&2
>   fi
> 
> (Untested, and doesn't handle non-US very well - that's left as an
> exercise for the reader, as they say. :))

That looks pretty close to what I was thinking about doing
(except I didn't know about grep-available).

Thanks.

-- 
Grant Edwards                   grante             Yow!  .. I want FORTY-TWO
                                  at               TRYNEL FLOATATION SYSTEMS
                               visi.com            installed within SIX AND A
                                                   HALF HOURS!!!


-- 
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org