Package: mplayer
Version: 1.0~rc1-12etch1

Hello,

i have a little patch for
/usr/share/mplayer/scripts/binary_codecs.sh
so it handles the mirror-adresses more correctly.

and an actual version for
http://people.debian.org/~mennucc1/mplayer/mirrors

Goodbye
christian

Debian GNU/Linux 4.0
--- MPLAYER_binary_codecs.sh	2007-07-03 11:19:15.000000000 +0200
+++ MPLAYER_binary_codecs.sh__local	2007-07-03 11:18:22.000000000 +0200
@@ -61,7 +61,7 @@
   if [  "$url" = @MAINSITE@ ] ; then
     cat $PREFDIR/bestsites |   while read mainsite ; do
       echo Downloading $filename from $mainsite ...
-      wget -v -c -N $mainsite/$dir/$filename || true
+      wget -v -c -N `grep $mainsite $PREFDIR/mirrors`/$dir/$filename || true
       if [ -r "$filename" ] ; then
         UNPACK "$filename"
         [ -r $filename.bak ] && rm $filename.bak

Attachment: mirrors.20070703
Description: Binary data

Reply via email to