comparison TOOLS/binary_codecs.sh @ 32399:8f3293925a93

do not create a fake 'bestsites' if neither 'fping' or 'netselect' are installed change developed by A Mennucc <mennucc1 [at] debian [dot] org>

32398:68722c75c922

         grep $mainsite $PREFDIR/mirrors ; done ) > bestsites
    else
      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
    fi
  fi
}

  if [ -r $filename ] ; then
    cp $filename $filename.bak
  fi

  if [ "$url" = @MAINSITE@ ] ; then
    cat $PREFDIR/bestsites | while read mainsite ; do
      echo Downloading $filename from $mainsite ...
      wget -c -N $mainsite/$dir/$filename || true
      if [ -r "$filename" ] ; then
        UNPACK "$filename"
        return 0

32399:8f3293925a93

         grep $mainsite $PREFDIR/mirrors ; done ) > bestsites
    else
      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
    fi
  fi
}

  if [ -r $filename ] ; then
    cp $filename $filename.bak
  fi

  if [ "$url" = @MAINSITE@ ] ; then
    list=$PREFDIR/bestsites
    test -r $list || list=$PREFDIR/mirrors
    cat $list | while read mainsite ; do
      echo Downloading $filename from $mainsite ...
      wget -c -N $mainsite/$dir/$filename || true
      if [ -r "$filename" ] ; then
        UNPACK "$filename"
        return 0