.ssh/config

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