Skip to content

Instantly share code, notes, and snippets.

@ericstone57
Created April 25, 2020 07:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ericstone57/d1fbf3767998c542e63d932018a8c76c to your computer and use it in GitHub Desktop.
Save ericstone57/d1fbf3767998c542e63d932018a8c76c to your computer and use it in GitHub Desktop.
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"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment