今天操作git的时候又出错了:
error: Failed connect to github.com:8080; No route to host while accessing https://github.com/zausiu/gryphon/info/refs
fatal: HTTP request failed
之前用公司的http代理上git,
#git config -l
http.proxy=http://web-proxy.oa.com:8080
设置变量GIT_CURL_VERBOSE可以看到详细的出错情况:
#export GIT_CURL_VERBOSE=1
# git pull
- Couldn’t find host github.com in the .netrc file; using defaults
- About to connect() to proxy web-proxy.oa.com port 8080 (#0)
- Trying 10.14.36.100…
- 0x23d67b0 is at send pipe head!
- STATE: CONNECT => WAITCONNECT handle 0x23df5f0; (connection #0)
- No route to host
- Failed connect to github.com:8080; No route to host
- Closing connection #0
- Couldn’t find host github.com in the .netrc file; using defaults
- About to connect() to proxy web-proxy.oa.com port 8080 (#0)
- Trying 10.14.36.100…
- 0x23d67b0 is at send pipe head!
- STATE: CONNECT => WAITCONNECT handle 0x23df5f0; (connection #0)
- No route to host
- Failed connect to github.com:8080; No route to host
- Closing connection #0
error: Failed connect to github.com:8080; No route to host while accessing https://github.com/zausiu/gryphon/info/refs
fatal: HTTP request failed
copyright ykyi.net