.ssh/config

   1 Include ~/.ssh/host_specific_config
   2 # Debian general configuration
   3 Host *.debian.org
   4   IdentityFile ~/.ssh/identity_debian
   5   UserKnownHostsFile ~/.ssh/known_hosts_debian
   6   VerifyHostKeyDNS yes
   7 # donarmstrong.com general configuration
   8 Host *.donarmstrong.com
   9   User don
  10   UserKnownHostsFile ~/.ssh/known_hosts_don
  11   IdentityFile ~/.ssh/identity_don
  12   ServerAliveInterval 300
  13
  14 # This has to go at the bottom, because it doesn't get overridden
  15 # otherwise.
  16 Host *
  17   ControlMaster auto
  18   ControlPath ~/tmp/%h_%p_%r
  19