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