ericstone57 · April 25, 2020 07:28
diff --git a/http_proxy_setting.sh b/http_proxy_setting.sh
 # where proxy
 proxy () {
  export http_proxy="http://127.0.0.1:8087"
  export https_proxy="http://127.0.0.1:8087"
  echo "HTTP Proxy on"
 }

 # where noproxy
 noproxy () {
  unset http_proxy
  unset https_proxy
  echo "HTTP Proxy off"
 }
	# where proxy
	proxy () {
	export http_proxy="http://127.0.0.1:8087"
	export https_proxy="http://127.0.0.1:8087"
	echo "HTTP Proxy on"
	}

	# where noproxy
	noproxy () {
	unset http_proxy
	unset https_proxy
	echo "HTTP Proxy off"
	}