Update install_dev.sh

This commit is contained in:
dami
2025-08-18 18:03:43 +08:00
parent 57e36c5fdb
commit 9831216ca4
+9 -7
View File
@@ -136,13 +136,15 @@ function ChooseProxyURL(){
if [ "$LOCAL_ADDR" != "common" ];then
ChooseProxyURL
DOMAIN=`echo $HTTP_PREFIX | sed 's|https://||g'`
DOMAIN=`echo $DOMAIN | sed 's|/||g'`
ping -c 3 $DOMAIN > /dev/null 2>&1
if [ "$?" != "0" ];then
echo "无效代理地址:${DOMAIN}"
exit
fi
if [ "$DOMAIN" != "http://" ];then
DOMAIN=`echo $HTTP_PREFIX | sed 's|https://||g'`
DOMAIN=`echo $DOMAIN | sed 's|/||g'`
ping -c 3 $DOMAIN > /dev/null 2>&1
if [ "$?" != "0" ];then
echo "无效代理地址:${DOMAIN}"
exit
fi
if
fi
if [ -f /etc/motd ];then