Hi Han, On Mon, Sep 18, 2006 at 19:56:26 +0200, Han Boetes wrote: [...]
I don't know if this patch applies to normal pkgmk, but it's pretty easy to c&p in.
--- pkgmk.orig 2006-09-18 19:34:15.064938304 +0200 +++ pkgmk 2006-09-18 19:51:31.567296816 +0200 @@ -138,6 +138,13 @@ exit 1 fi
+ # Test if file is a html file. Workaround buggy sourceforge mirrors. + if file $PKGMK_SOURCE_DIR/$PARTIALNAME | grep -q HTML && [ $PARTIALNAME = "$(echo $PARTIALNAME|sed -e 's|html*$||')" ]; then + error "Downloading \`$1' failed." + rm -f $PKGMK_SOURCE_DIR/$PARTIALNAME + exit 1 + fi + mv $PKGMK_SOURCE_DIR/$PARTIALNAME $PKGMK_SOURCE_DIR/$FILENAME } Seems sensible, thanks for the suggestion.
Johannes -- Johannes Winkelmann mailto:jw@smts.ch Zurich, Switzerland http://jw.smts.ch