dereknex/p ( shell)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| #!/bin/bash echo "HTTP Proxy setting..." HTTP_PROXY= "http://127.0.0.1:8123" HTTPS_PROXY= "https://127.0.0.1:8123" echo "$@" if [ "$1" = "git" ]; then git config --global http.proxy $HTTP_PROXY git config --global https.proxy $HTTPS_PROXY $@ git config --global -- unset http.proxy git config --global -- unset https.proxy else http_proxy=$HTTP_PROXY https_proxy=$HTTPS_PROXY $@ fi echo "HTTP Proxy has beed canceled.
|
No comments:
Post a Comment