From: martin f. krafft Date: Tue, 16 Dec 2014 12:23:48 +0000 (+0100) Subject: fixup! remove dead hosts X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/9eb859555bf2ba382e845c17b7d8a93501ef8599?hp=c89093a69b18cc10247693e2a39e92b5864b62e8 fixup! remove dead hosts --- diff --git a/.ssh/config.in b/.ssh/config.in index 831ff70..0240a5b 100644 --- a/.ssh/config.in +++ b/.ssh/config.in @@ -86,12 +86,6 @@ Host ssh443.madduck.net | ssh443 Host openvpn.madduck.net | openvpn HostKeyAlias sysyphus.madduck.net -Host wots.madduck.net | wots - ForwardAgent yes - Hostname wots.madduck.net -Host buildd.debian.madduck.net | buildd - HostKeyAlias wots.madduck.net - ### UNI ZURICH MACHINES Host diamond.madduck.net | diamond