Include ~/.ssh/host_specific_config
# Debian general configuration
Host *.debian.org
  IdentityFile ~/.ssh/identity_debian
  UserKnownHostsFile ~/.ssh/known_hosts_debian
  VerifyHostKeyDNS yes
# donarmstrong.com general configuration
Host *.donarmstrong.com
  User don
  UserKnownHostsFile ~/.ssh/known_hosts_don
  IdentityFile ~/.ssh/identity_don
  ServerAliveInterval 300

# This has to go at the bottom, because it doesn't get overridden
# otherwise.
Host *
  ControlMaster auto
  ControlPath ~/tmp/%h_%p_%r