diff --git a/scripts/lib.sh b/scripts/lib.sh index a3c0e1875..091060163 100755 --- a/scripts/lib.sh +++ b/scripts/lib.sh @@ -50,7 +50,7 @@ fi # cn=$(curl -fsSL -m 10 http://ipinfo.io/json | grep "\"country\": \"CN\"") HTTP_PREFIX="https://" LOCAL_ADDR=common -ping -c 1 pypi.python.org > /dev/null 2>&1 +ping -c 1 github.com > /dev/null 2>&1 if [ "$?" != "0" ];then LOCAL_ADDR=cn HTTP_PREFIX="https://ghproxy.com/"