update debian ssh keys
[home-base.git] / .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