ssh: clean old servers

diff --git a/ssh/config b/ssh/config
index d159ed2b9fa935b203f4c59b0fee0cb06dd186fa..580aac155559bbe1b53e5c97c052303b56b20118 100644 (file)
--- a/ssh/config
+++ b/ssh/config
@@ -1,3 +1,5 @@
+# vim: ft=sshconfig
+
 Include private-config
 
 Host rmz.io
@@ -12,37 +14,6 @@ Port 22222
 ForwardAgent yes
 ProxyJump rmz.io
 
-Host tardis tardis.uni.cx tardis.rmz.io
-HostName tardis.rmz.io
-ForwardAgent yes
-StreamLocalBindUnlink yes
-
-Host kelmis
-HostName kelmis.uni.cx
-Port 5555
-DynamicForward 1080
-IdentityFile ~/.ssh/old/id_rsa
-
-Host chronos
-IdentityFile ~/.ssh/old/id_rsa
-
-Host buildserver
-Port 5555
-HostName dezponia.se
-# RemoteForward /home/ramsi/.config/gnupg/S.gpg-agent /home/ramsi/.config/gnupg/S.gpg-agent
-# ExitOnForwardFailure yes
-
-Host bulbasaur bulbasaur.chakralinux.org
-HostName bulbasaur.chakralinux.org
-
-Host rsync.chakralinux.org
-HostName rsync.chakralinux.org
-IdentityFile ~/.ssh/old/id_rsa
-
-Host chakra-sf
-HostName frs.sourceforge.net
-IdentityFile ~/.ssh/old/id_rsa_github
-
 Host *
 ControlMaster auto
 ControlPersist 1h