1Host *
 2	ServerAliveInterval 20
 3	ServerAliveCountMax 2
 4
 5Host github.com
 6	Hostname ssh.github.com
 7	Port 443
 8	IdentityFile ~/.ssh/github
 9
10Host webarch
11	Hostname 13.127.51.16
12	Port 443
13	User ubuntu
14	IdentityFile ~/.ssh/webarch-aws.pem
15
16Host boop
17	User icy
18	Port 443
19	Hostname boop.ph0x.me
20	IdentityFile ~/.ssh/id_rsa
21
22Host milan
23	Hostname 35.154.128.132
24	User ubuntu
25	IdentityFile ~/.ssh/id_rsa