Update install_dev.sh

This commit is contained in:
dami
2025-08-18 16:18:18 +08:00
parent 6602119ee7
commit 0593be9928
+7 -6
View File
@@ -49,14 +49,15 @@ if [ ! -z "$cn" ] || [ "$?" == "0" ] ;then
HTTP_PREFIX="https://mirror.ghproxy.com/"
fi
declare -A PROXY_URL
PROXY_URL["gh-proxy\.com"]="https://gh-proxy.com"
if [ "$LOCAL_ADDR" != "common" ];then
declare -A PROXY_URL
PROXY_URL['gh-proxy.com']="https://gh-proxy.com"
SOURCE_LIST_KEY_SORT_TMP=$(echo ${!PROXY_URL[@]} | tr ' ' '\n' | sort -n)
SOURCE_LIST_KEY=(${SOURCE_LIST_KEY_SORT_TMP//'\n'/})
SOURCE_LIST_LEN=${#PROXY_URL[*]}
fi
SOURCE_LIST_KEY_SORT_TMP=$(echo ${!PROXY_URL[@]} | tr ' ' '\n' | sort -n)
SOURCE_LIST_KEY=(${SOURCE_LIST_KEY_SORT_TMP//'\n'/})
SOURCE_LIST_LEN=${#PROXY_URL[*]}
function AutoSizeStr(){
NAME_STR=$1
NAME_NUM=$2