今天操作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