# HG changeset patch # User siretart # Date 1240520219 0 # Node ID a99dc500088fe7b3bb4ef1c2f436a98137fa4fc2 # Parent 5f1e8f1b3c30698cf9d3f0b406c76faa27692042 more cosmetics diff -r 5f1e8f1b3c30 -r a99dc500088f TOOLS/binary_codecs.sh --- a/TOOLS/binary_codecs.sh Thu Apr 23 18:54:22 2009 +0000 +++ b/TOOLS/binary_codecs.sh Thu Apr 23 20:56:59 2009 +0000 @@ -26,7 +26,7 @@ cd $PREFDIR #if [ ! -r mirrors ] || find mirrors -mtime +20 ; then - echo Downloading mirrors list + echo "Downloading mirrors list" wget -nv -c -N $MYSITE/mirrors || true #fi if [ ! -r bestsites ] || [ mirrors -nt bestsites ] || \ @@ -39,7 +39,7 @@ 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 "(If you install 'netselect' or 'fping', it will select the best mirror for you" echo " you may wish to stop this script and rerun after installation)" sleep 3 head -3 mirrors > bestsites @@ -66,7 +66,6 @@ wget -c -N $mainsite/$dir/$filename || true if [ -r "$filename" ] ; then UNPACK "$filename" - [ -r $filename.bak ] && rm $filename.bak return 0 fi done @@ -74,7 +73,6 @@ wget -c -N $url/$dir/$filename || true if [ -r "$filename" ] ; then UNPACK "$filename" - [ -r $filename.bak ] && rm $filename.bak return 0 fi fi @@ -148,7 +146,7 @@ choosemirror cd $PREFDIR #if [ ! -r codecs_list ] || find codecs_list -mtime +20 ; then - echo 'Getting codecs list' + echo "Getting codecs list" wget -nv -c -N $MYSITE/codecs_list || true #fi