set-proxy.sh

set-proxy.sh

function set_proxy() {
	export http_proxy=$1
	export HTTP_PROXY=$1
	export ftp_proxy=$1
	export FTP_PROXY=$1
	export all_proxy=$1
	export ALL_PROXY=$1
	export https_proxy=$1
	export HTTPS_PROXY=$1

	git config --global http.proxy $1
	git config --global https.proxy $1
	git config --global url."https://".insteadOf git://
}

function set_no_proxy() {
	export NO_PROXY=$1
	export no_proxy=$1
}

function unset_proxy() {
	unset http_proxy
	unset HTTP_PROXY
	unset ftp_proxy
	unset FTP_PROXY
	unset all_proxy
	unset ALL_PROXY
	unset https_proxy
	unset HTTPS_PROXY

	git config --global --unset http.proxy
	git config --global --unset https.proxy
	git config --global --unset url."https://".insteadOf
}