-Host ernst.ucr.edu
- User zido
-Host frogsleap.com
- User frogsleap
+Include ~/.ssh/host_specific_config
+# Debian general configuration
Host *.debian.org
IdentityFile ~/.ssh/identity_debian
-Host comas.linux-aktivaattori.org
- IdentityFile ~/.ssh/identity_debconf
-# Propel consulting machinges
-Host 172.16.0.59
- IdentityFile ~/.ssh/identity_propel
-Host xen.propel.com
- IdentityFile ~/.ssh/identity_propel
-Host scs.propel.com
- User darmstrong
- IdentityFile ~/.ssh/identity_propel
-Host builder.lab.propel.com
+ UserKnownHostsFile ~/.ssh/known_hosts_debian
+# donarmstrong.com general configuration
+Host *.donarmstrong.com
User don
- IdentityFile ~/.ssh/identity_propel
-Host debianarchive.lab.propel.com
- User don
- IdentityFile ~/.ssh/identity_propel
-Host *.lab.propel.com
- User darmstrong
- IdentityFile ~/.ssh/identity_propel
+ 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
+