From: Samir Benmendil <me@rmz.io>
Date: Fri, 9 Aug 2019 07:54:33 +0000 (+0100)
Subject: ssh: clean old servers
X-Git-Url: https://git.rmz.io/dotfiles.git/commitdiff_plain/903201832956f881110097e79f70658c99046106?ds=sidebyside

ssh: clean old servers
---

diff --git a/ssh/config b/ssh/config
index d159ed2..580aac1 100644
--- 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