* add debconf public key

[home-base.git] / .ssh / config

diff --git a/.ssh/config b/.ssh/config
index 291536a0cf25182b79f734f88b0c4b781f1b3be9..138e96f61ae1968163385ece6fd706ca4f55f6ae 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -8,6 +8,15 @@ Host frogsleap.com
   User frogsleap
 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