Some ports need addressing!

Johannes Winkelmann jw at smts.ch
Sun Oct 1 12:44:24 UTC 2006


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 at smts.ch
Zurich, Switzerland              http://jw.smts.ch



More information about the CRUX mailing list