-Host ernst.ucr.edu
- User zido
-Host volo
- User don
- HostKeyAlias volo
- CheckHostIP no
-Host frogsleap.com
- User frogsleap
+Include ~/.ssh/host_specific_config
+# Debian general configuration
Host *.debian.org
IdentityFile ~/.ssh/identity_debian
-# donarmstrong machines so I don't have to type them in
-Host archimedes.ucr.edu
-Host rzlab.ucr.edu
-Host spth1304.ucr.edu
-Host svn.donarmstrong.com
-Host crito.ucr.edu
- User don
-Host *.debconf.org
- IdentityFile ~/.ssh/identity_debconf
-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
- User don
- IdentityFile ~/.ssh/identity_propel
-Host debianarchive.lab.propel.com
+ UserKnownHostsFile ~/.ssh/known_hosts_debian
+# donarmstrong.com general configuration
+Host *.donarmstrong.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
+