Mercurial > mplayer.hg
changeset 29179:dd89d439c911
Part 1 of syncing binary_codecs.sh with Debian
This patch contains no functional changes, only whitespace fixes from
Debian.
| author | siretart |
|---|---|
| date | Wed, 22 Apr 2009 20:46:33 +0000 |
| parents | 0e5d94f37c5d |
| children | be301983b535 |
| files | TOOLS/binary_codecs.sh |
| diffstat | 1 files changed, 12 insertions(+), 12 deletions(-) [+] |
line wrap: on
line diff
--- a/TOOLS/binary_codecs.sh Tue Apr 21 21:27:53 2009 +0000 +++ b/TOOLS/binary_codecs.sh Wed Apr 22 20:46:33 2009 +0000 @@ -22,19 +22,19 @@ { cd $PREFDIR - #if [ ! -r mirrors ] || find mirrors -mtime +20 ; then + #if [ ! -r mirrors ] || find mirrors -mtime +20 ; then echo Downloading mirrors list.. wget -nv -c -N $MYSITE/mirrors || true #fi if [ ! -r bestsites ] || [ mirrors -nt bestsites ] || \ - find bestsites -mtime +20 > /dev/null ; then + find bestsites -mtime +20 > /dev/null ; then if which netselect > /dev/null ; then echo Choosing best mirrors using netselect.... netselect -s 5 $( cat mirrors ) | awk '{print $2}' > bestsites elif which fping > /dev/null ; then - fping -C 1 $( sed 's#.*//##;s#/.*##' mirrors ) 2>&1 | \ - egrep -v 'bytes.*loss' | sort -n -k3 | \ - grep -v ': *-' | awk '/:/{print $1}' | head -5 > bestsites + fping -C 1 $( sed 's#.*//##;s#/.*##' mirrors ) 2>&1 | \ + egrep -v 'bytes.*loss' | sort -n -k3 | \ + grep -v ': *-' | awk '/:/{print $1}' | head -5 > bestsites else echo "(If you install 'netselect', it will select the best mirror for you" echo " you may wish to stop this script and rerun after installation)" @@ -54,11 +54,11 @@ cd $CODECDIR/mplayer_binary_codecs if [ -r $filename ] ; then - cp $filename $filename.bak + cp $filename $filename.bak fi - if [ "$url" = @MAINSITE@ ] ; then - cat $PREFDIR/bestsites | while read mainsite ; do + if [ "$url" = @MAINSITE@ ] ; then + cat $PREFDIR/bestsites | while read mainsite ; do echo Downloading $filename from $mainsite ... wget -v -c -N $mainsite/$dir/$filename || true if [ -r "$filename" ] ; then @@ -69,7 +69,7 @@ done else wget -v -c -N $url/$dir/$filename || true - if [ -r "$filename" ] ; then + if [ -r "$filename" ] ; then UNPACK "$filename" [ -r $filename.bak ] && rm $filename.bak return 0 @@ -146,9 +146,9 @@ egrep -v "^[[:space:]]*(#|$)" $PREFDIR/codecs_list | \ while read arch url dir file info ; do if [ "$dpkgarch" = "$arch" ]; then - echo Installing $file $info... - INSTALL "$url" "$dir" "$file" - n=1 + echo Installing $file $info... + INSTALL "$url" "$dir" "$file" + n=1 fi done else