From 53c7f347727a2cd9394a45ba443301d95447addd Mon Sep 17 00:00:00 2001
From: Ian Adam Naval <ianonavy@gmail.com>
Date: Thu, 19 Jul 2018 23:03:32 -0400
Subject: [PATCH] Remove old WPI hosts

---
 ssh/ssh.dotfile/config | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/ssh/ssh.dotfile/config b/ssh/ssh.dotfile/config
index 52d063c..fb4ba1e 100644
--- 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