From 35904bd79d9bdf4c873e4969d4e2730038679495 Mon Sep 17 00:00:00 2001 From: dami Date: Mon, 18 Aug 2025 17:41:12 +0800 Subject: [PATCH] Update install_dev.sh --- scripts/install_dev.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/install_dev.sh b/scripts/install_dev.sh index bc5452f43..dc6227fc7 100755 --- a/scripts/install_dev.sh +++ b/scripts/install_dev.sh @@ -45,7 +45,7 @@ if [ "$LOCAL_ADDR" != "common" ];then PROXY_URL["gh_proxy_com"]="https://gh-proxy.com/" PROXY_URL["ghproxy_link"]="https://ghproxy.link/" PROXY_URL["gitclone_com"]="https://gitclone.com/" - + PROXY_URL["source"]="https://" SOURCE_LIST_KEY_SORT_TMP=$(echo ${!PROXY_URL[@]} | tr ' ' '\n' | sort -n)