.ssh/config

   1 Host ernst.ucr.edu
   2   User zido
   3 Host ralph.ucr.edu
   4   User zido
   5 Host volo
   6   User don
   7   HostKeyAlias volo
   8   CheckHostIP no
   9 Host zeto
  10   User don
  11   HostKeyAlias zeto
  12   CheckHostIP no
  13 Host frogsleap.com
  14   User frogsleap
  15 Host *.debian.org
  16   IdentityFile ~/.ssh/identity_debian
  17 # donarmstrong machines so I don't have to type them in
  18 Host archimedes.ucr.edu
  19 Host rzlab.ucr.edu
  20 Host spth1304.ucr.edu
  21 Host svn.donarmstrong.com
  22 Host crito.ucr.edu
  23   User don
  24 Host *.debconf.org
  25   IdentityFile ~/.ssh/identity_debconf
  26 Host comas.linux-aktivaattori.org
  27   IdentityFile ~/.ssh/identity_debconf
  28 # Propel consulting machinges
  29 Host 172.16.0.59
  30   IdentityFile ~/.ssh/identity_propel
  31 Host xen.propel.com
  32   IdentityFile ~/.ssh/identity_propel
  33 Host scs.propel.com
  34   User darmstrong
  35   IdentityFile ~/.ssh/identity_propel
  36 Host builder.lab.propel.com
  37   User don
  38   IdentityFile ~/.ssh/identity_propel
  39 Host debianarchive.lab.propel.com
  40   User don
  41   IdentityFile ~/.ssh/identity_propel
  42 Host *.lab.propel.com
  43   User darmstrong
  44   IdentityFile ~/.ssh/identity_propel