Remove old WPI hosts

2018-07-19 23:03:32 -04:00 · 2018-07-19 23:03:32 -04:00 · 53c7f34772
commit 53c7f34772
parent 564d72de60
1 changed files with 0 additions and 10 deletions
--- a/ssh/ssh.dotfile/config
+++ b/ssh/ssh.dotfile/config
@ -1,9 +1,4 @@
 # Personal Servers
-Host pi
-    HostName ian.wpi.edu
-    User pi
-    IdentityFile ~/.ssh/id_rsa
-
 Host ratte
    Hostname ratte.ianonavy.com
    User ian
@ -15,11 +10,6 @@ Host marcy
    IdentityFile ~/.ssh/id_rsa

 # Personal Hosts
-Host innovator
-    Hostname innovator.res.wpi.net
-    User ian
-    IdentityFile ~/.ssh/id_rsa
-
 Host blazer
    Hostname blazer.wifi.wpi.edu
    User ian