diff options
author | siretart <siretart@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2010-10-13 15:09:24 +0000 |
---|---|---|
committer | Uoti Urpala <uau@glyph.nonexistent.invalid> | 2010-11-02 04:18:37 +0200 |
commit | 79347eaedb9a3d36ddce56148e911f572b12becf (patch) | |
tree | d219a7b1ecfdf486d4c1037b001a5339f8a65e5a /TOOLS | |
parent | b1f187eb48ae9b7e38c4e5bf5742e1959d7d550b (diff) | |
download | mpv-79347eaedb9a3d36ddce56148e911f572b12becf.tar.bz2 mpv-79347eaedb9a3d36ddce56148e911f572b12becf.tar.xz |
TOOLS/binary_codecs.sh: avoid creating fake "bestsites"
Do not create a fake 'bestsites' if neither 'fping' nor 'netselect' is
installed.
change developed by A Mennucc <mennucc1 [at] debian [dot] org>
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@32485 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'TOOLS')
-rwxr-xr-x | TOOLS/binary_codecs.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/TOOLS/binary_codecs.sh b/TOOLS/binary_codecs.sh index 79fb0da953..1335cbfdd9 100755 --- a/TOOLS/binary_codecs.sh +++ b/TOOLS/binary_codecs.sh @@ -43,7 +43,6 @@ choosemirror () 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 } @@ -62,7 +61,9 @@ INSTALL () { fi if [ "$url" = @MAINSITE@ ] ; then - cat $PREFDIR/bestsites | while read mainsite ; do + 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 |