# HG changeset patch # User Christophe Lincoln # Date 1488744423 -3600 # Node ID 3d01fa704e91c46be3826e3879f2fa10893f5d01 # Parent 9cc2b9f885de00aa00de46723c9b1ab05bbff79d sat: use wget --spider -s is no longer supported diff -r 9cc2b9f885de -r 3d01fa704e91 sat --- a/sat Mon Feb 06 18:44:20 2017 +0100 +++ b/sat Sun Mar 05 21:07:03 2017 +0100 @@ -66,7 +66,7 @@ [ "$forced" ] && rm -f ID [ -f "ID" ] || echo $$ > ID mv ID ID.bak - if busybox wget -qs ${mirror%/}/ID 2>/dev/null; then + if busybox wget -q --spider ${mirror%/}/ID 2>/dev/null; then busybox wget -q ${mirror%/}/ID else echo "Mirror is unreachable"; newline