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 fern
12    Hostname 152.67.160.174
13    User pi
14    Port 22222
15
16Host jade
17    Hostname 152.67.162.71
18    User ubuntu
19    IdentityFile ~/.ssh/id_rsa
20
21Host pantwo
22    Hostname 100.64.1.3
23    User icy
24    IdentityFile ~/.ssh/id_rsa
25
26Host leaf
27    Hostname 152.67.160.174
28    User ubuntu
29    IdentityFile ~/.ssh/id_rsa