Host gitea-sjtu
    HostName 70.34.242.158
    Port 20022
    User git
    ProxyCommand nc -X connect -x 127.0.0.1:8080 %h %p
    IdentityFile ~/.ssh/id_rsa
    IdentitiesOnly yes