diff --git a/scripts/install_dev.sh b/scripts/install_dev.sh index 04a99033e..87c981771 100755 --- a/scripts/install_dev.sh +++ b/scripts/install_dev.sh @@ -71,7 +71,7 @@ fi cn=$(curl -fsSL -m 10 -s http://ipinfo.io/json | grep "\"country\": \"CN\"") HTTP_PREFIX="https://" LOCAL_ADDR=common -if [ ! -z "$cn" ];then +if [ ! -z "$cn" ] && [ "$?" != "0" ];then LOCAL_ADDR=cn HTTP_PREFIX="https://ghproxy.com/" fi