.ssh/config

   1 Host frogsleap.com
   2   User frogsleap
   3   IdentityFile ~/.ssh/identity_frogsleap
   4 Host rietz.debian.org
   5   IdentityFile ~/.ssh/identity_debian
   6   UserKnownHostsFile ~/.ssh/known_hosts_debian
   7   ProxyCommand sh -c 'if [ "$(hostname)" = "archimedes" ]; then exec nc -q 1:0 rietz.debian.org 22 2>/dev/null; else exec ssh archimedes.ucr.edu nc -q 1:0 rietz.debian.org 22 2>/dev/null; fi;'
   8 Host busoni.debian.org
   9   IdentityFile ~/.ssh/identity_debian
  10   UserKnownHostsFile ~/.ssh/known_hosts_debian
  11   ProxyCommand sh -c 'if [ "$(hostname)" = "archimedes" ]; then exec nc -q 1:0 busoni.debian.org 22 2>/dev/null; else exec ssh archimedes.ucr.edu nc -q 1:0 busoni.debian.org 22 2>/dev/null; fi;'
  12 Host vasks.debian.org git.debian.org svn.debian.org
  13   ControlPath ~/tmp/vasks.debian.org_%p_%r
  14 Host *.debian.org
  15   IdentityFile ~/.ssh/identity_debian
  16   UserKnownHostsFile ~/.ssh/known_hosts_debian
  17 Host charlie
  18 Host delta
  19 Host *.prometheuslabor.com
  20 Host *.sndservers.com
  21   IdentityFile ~/.ssh/identity_sndservers
  22   UserKnownHostsFile ~/.ssh/known_hosts_sndservers
  23 # machines in the don bit
  24 Host ernst.ucr.edu
  25   User zido
  26   IdentityFile ~/.ssh/identity_don
  27 Host acif500.ucr.edu
  28   User zido
  29   IdentityFile ~/.ssh/identity_don
  30 Host volo dn-volo.donarmstrong.com
  31   User don
  32   HostKeyAlias volo
  33   CheckHostIP no
  34   IdentityFile ~/.ssh/identity_don
  35   ControlPath ~/tmp/volo_%p_%r
  36 Host zeto
  37   User don
  38   HostKeyAlias zeto
  39   CheckHostIP no
  40   IdentityFile ~/.ssh/identity_don
  41 # donarmstrong machines so I don't have to type them in
  42 Host archimedes.ucr.edu dn-archimedes.donarmstrong.com
  43   User don
  44   UserKnownHostsFile ~/.ssh/known_hosts_don
  45   IdentityFile ~/.ssh/identity_don
  46   ControlPath ~/tmp/archimedes_%p_%r
  47 Host rzlab3.ucr.edu dn-rzlab3.donarmstrong.com
  48   User don
  49   UserKnownHostsFile ~/.ssh/known_hosts_don
  50   IdentityFile ~/.ssh/identity_don
  51   ControlPath ~/tmp/rzlab3_%p_%r
  52 Host rzlab.ucr.edu dn-rzlab.donarmstrong.com svn.donarmstrong.com git.donarmstrong.com
  53   User don
  54   UserKnownHostsFile ~/.ssh/known_hosts_don
  55   IdentityFile ~/.ssh/identity_don
  56   ControlPath ~/tmp/rzlab_%p_%r
  57 Host spth1304.ucr.edu dn-spth1304.donarmstrong.com
  58   User don
  59   UserKnownHostsFile ~/.ssh/known_hosts_don
  60   IdentityFile ~/.ssh/identity_don
  61   ControlPath ~/tmp/spth1304.ucr.edu_%p_%r
  62 Host *.donarmstrong.com
  63   User don
  64   UserKnownHostsFile ~/.ssh/known_hosts_don
  65   IdentityFile ~/.ssh/identity_don
  66 Host crito.ucr.edu
  67   User don
  68   UserKnownHostsFile ~/.ssh/known_hosts_don
  69   IdentityFile ~/.ssh/identity_don
  70 # Propel consulting machinges
  71 Host 172.16.0.59
  72   IdentityFile ~/.ssh/identity_propel
  73 Host xen.propel.com
  74   IdentityFile ~/.ssh/identity_propel
  75 Host scs.propel.com
  76   User darmstrong
  77   IdentityFile ~/.ssh/identity_propel
  78 Host pacific.propel.com
  79   User darmstrong
  80   IdentityFile ~/.ssh/identity_propel
  81 Host builder.lab.propel.com
  82   User don
  83   IdentityFile ~/.ssh/identity_propel
  84 Host debianarchive.lab.propel.com
  85   User don
  86   IdentityFile ~/.ssh/identity_propel
  87 Host *.lab.propel.com
  88   User darmstrong
  89   IdentityFile ~/.ssh/identity_propel
  90 Host *.abaca.com
  91   User darmstrong
  92   IdentityFile ~/.ssh/identity_propel
  93 Host blogamundo.com
  94   User don
  95   IdentityFile ~/.ssh/identity_blogamundo
  96 Host culinarytrends.net
  97   User don
  98   IdentityFile ~/.ssh/identity_culinarytrends
  99 Host alanarmstrong.com
 100   User don
 101   IdentityFile ~/.ssh/identity_alanarmstrong
 102 Host *.kneedraggers.com
 103   User don
 104   IdentityFile ~/.ssh/identity_kneedraggers
 105 Host tijuana.com
 106   User don
 107   IdentityFile ~/.ssh/identity_castello
 108 Host daycare.com
 109   User don
 110   IdentityFile ~/.ssh/identity_castello
 111 Host *.ccin.com
 112   User don
 113   IdentityFile ~/.ssh/identity_castello
 114   UserKnownHostsFile ~/.ssh/known_hosts_castello
 115 Host *.excelwholesale.com
 116 Host lists.acbnrates.com
 117   User don
 118   IdentityFile ~/.ssh/identity_excelwholesale
 119 Host debbugs.gnu.org
 120   User don
 121   IdentityFile ~/.ssh/identity_debbugs_gnu
 122
 123 # This has to go at the bottom, because it doesn't get overridden
 124 # otherwise.
 125 Host *
 126   ControlMaster auto
 127   ControlPath ~/tmp/%h_%p_%r