1 Include ~/.ssh/host_specific_config
2 # Debian general configuration
4 IdentityFile ~/.ssh/identity_debian
5 UserKnownHostsFile ~/.ssh/known_hosts_debian
7 # donarmstrong.com general configuration
8 Host *.donarmstrong.com
10 UserKnownHostsFile ~/.ssh/known_hosts_don
11 IdentityFile ~/.ssh/identity_don
12 ServerAliveInterval 300
14 # This has to go at the bottom, because it doesn't get overridden
18 ControlPath ~/tmp/%h_%p_%r