•  


Error: Bad file number - GitHub Docs
Skip to main content

Error: Bad file number

This error usually means you were unable to connect to the server. Often this is caused by firewalls and proxy servers.

When running remote Git commands or SSH, your connection might time out:

$ 
ssh -vT git@github.com

> 
OpenSSH_8.1p1, LibreSSL 2.7.3

> 
debug1: Connecting to github.com [207.97.227.239] port 22.

> 
debug1: connect to address 207.97.227.239 port 22: Connection timed out

> 
ssh: connect to host github.com port 22: Connection timed out

> 
ssh: connect to host github.com port 22: Bad file number

Solving the issue

Use HTTPS

Often, the simplest solution is to simply avoid SSH entirely. Most firewalls and proxies allow HTTPS traffic without issue. To take advantage of this, change the remote URL you're using:

$ 
git 
clone
 https://github.com/USERNAME/REPO-NAME.git

> 
Cloning into 
'reponame'
...

> 
remote: Counting objects: 84, 
done
.

> 
remote: Compressing objects: 100% (45/45), 
done
.

> 
remote: Total 84 (delta 43), reused 78 (delta 37)

> 
Unpacking objects: 100% (84/84), 
done
.

Test from a different network

If you can connect the computer to another network that doesn't have a firewall, you can try testing your SSH connection to GitHub. If everything works as it should, contact your network administrator for help on changing the firewall settings to allow your SSH connection to GitHub to succeed.

Using SSH over the HTTPS port

If using HTTPS is not an option, and your firewall admin refuses to allow SSH connections, you can try using SSH over the HTTPS port instead.

Further reading

- "漢字路" 한글한자자동변환 서비스는 교육부 고전문헌국역지원사업의 지원으로 구축되었습니다.
- "漢字路" 한글한자자동변환 서비스는 전통문화연구회 "울산대학교한국어처리연구실 옥철영(IT융합전공)교수팀"에서 개발한 한글한자자동변환기를 바탕하여 지속적으로 공동 연구 개발하고 있는 서비스입니다.
- 현재 고유명사(인명, 지명등)을 비롯한 여러 변환오류가 있으며 이를 해결하고자 많은 연구 개발을 진행하고자 하고 있습니다. 이를 인지하시고 다른 곳에서 인용시 한자 변환 결과를 한번 더 검토하시고 사용해 주시기 바랍니다.
- 변환오류 및 건의,문의사항은 juntong@juntong.or.kr로 메일로 보내주시면 감사하겠습니다. .
Copyright ⓒ 2020 By '전통문화연구회(傳統文化硏究會)' All Rights reserved.
 한국   대만   중국   일본