update

scripts/install_dev.sh

@@ -135,6 +135,14 @@ 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
 fi
 
 if [ -f /etc/motd ];then

scripts/t.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin:/usr/local/sbin:~/bin
+export PATH
+export LANG=en_US.UTF-8
+
+
+DOMAIN="https://gh-proxy.com/"
+
+DOMAIN=`echo $DOMAIN | sed 's|https://||g'`
+DOMAIN=`echo $DOMAIN | sed 's|/||g'`
+echo $DOMAIN