diff --git a/.ssh/config b/.ssh/config new file mode 100644 index 0000000..76d3536 --- /dev/null +++ b/.ssh/config @@ -0,0 +1,7 @@ +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