Proxy環境下でGitHubにSSHでgit pushする用の.ssh/config (Windows/Linux)

TL;DR

・SSH Key Pair生成済み
・GitHubにSSH Public Key登録済み
・↑ のときにProxy環境から接続するための.ssh/config

.ssh/config

Windows用

configの置き場所 : C:\Users\<ユーザ名>\.ssh\

.ssh/config

Host github.com
    HostName github.com
    IdentityFile <SSH Private Keyのpath，"/c/xxx/ssh-key.private" とか>
    ProxyCommand connect.exe -H <proxy host>:<proxy port> %h %p

Linux(Ubuntu)用

configの置き場所 : ~/.ssh/

.ssh/config

Host github.com
    HostName github.com
    IdentityFile <SSH Private Keyのpath，"~/xxx/ssh-key.private" とか>
    ProxyCommand nc -X connect -x <proxy host>:<proxy port> %h %p

おわり

忘れがちなのと，Proxy通す場合の書き方のググラビリティが低いのでメモ

---///