1Host *
2 ServerAliveInterval 180
3 ServerAliveCountMax 3
4
5Host github.com
6 Hostname ssh.github.com
7 Port 443
8 TCPKeepAlive yes
9 IdentityFile ~/.ssh/github
10
11Host emerald
12 Hostname 139.59.93.193
13 User nerdypepper
14 IdentityFile ~/.ssh/id_rsa
15 Port 443
16