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