Re: Easy way to downalod .deb files?

[Colin Watson <cjwatson@debian.org>]

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.

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. :))

-- 
Colin Watson                                  [cjwatson@flatline.org.uk]


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