2143794fde02828566bf211accd4f9f17d3e678b
[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 # donarmstrong.com general configuration
7 Host *.donarmstrong.com
8   User don
9   UserKnownHostsFile ~/.ssh/known_hosts_don
10   IdentityFile ~/.ssh/identity_don
11   ServerAliveInterval 300
12
13 # This has to go at the bottom, because it doesn't get overridden
14 # otherwise.
15 Host *
16   ControlMaster auto
17   ControlPath ~/tmp/%h_%p_%r
18