使用代理:
需要在执行的命令前加入这两条就可以了。
set http_proxy=http://127.0.0.1(代理的IP地址):1080(代理的端口号)
set https_proxy=http://127.0.0.1(代理的IP地址):1080(代理的端口号)
以上只是个例子,需要替换自己代理的IP和port。
注意:第二个set https_proxy=http://127.0.0.1(代理的IP地址):1080(代理的端口号)
看了一看就输入,第二个只是名字是https_proxy,后面的http并没有加s。
我自己加上了s,死活不对,竟然死在这里了。
在shell中我试着用了一下,不能用,具体shell如何用,有没有知道呀。
取消代理:
首先查看使用了哪些代理,
1.一般用:
git config --global http.proxy
2.(在git bash可操作)
env|grep -I proxy
然后取消:
1.一般情况下用:
set http_proxy=
set https_proxy=
2.也可用下面的命令来取消代理:(在git bash可操作)
export http_proxy=""
export https_proxy=""
export HTTP_PROXY=""
export HTTPS_PROXY=""
3.也可以通过系统命令取消其他的代理:(在git bash可操作)
$ unset http_proxy
$ unset ftp_proxy
$ unset all_proxy
$ unset https_proxy
$ unset no_proxy