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