- # This duplicates debget; if an option is added there to use an
- # externally-specified filename then we can use it instead.
- FILENAME="$TEMPDIR/$PACKAGE.deb"
- wget -O "$FILENAME" \
- $(apt-get -q2 --print-uris --reinstall install "$PACKAGE" | \
- sed -ne "\$s/^'\([^']*\)'.*$/\1/p")
+ (cd "$TEMPDIR" && debget "$PACKAGE")
+ # There should be at most one file in $TEMPDIR now.
+ FILENAME="`find \"$TEMPDIR\" -name \*.deb -print`"
+ if [ -z "$FILENAME" ]; then
+ echo "Failed to fetch package $PACKAGE; exiting." >&2
+ exit 1
+ fi