X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/66bd2d127b9808979611fd1717481619e9cddea0..d928112c0b82e9e35a0eec48efd5b433e08b7dde:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index fae520e..6754c31 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -52,15 +52,16 @@ Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
   ForwardX11 yes
 #  AddressFamily inet
 
-Host wall.oerlikon.madduck.net | oerlikon.no-ip.org | wall
+Host wall.oerlikon.madduck.net | wall
   CheckHostIP no
   ForwardAgent yes
-#  AddressFamily inet
+  Hostname wall.oerlikon.madduck.net
   HostKeyAlias wall.oerlikon.madduck.net
 
-Host embryo.gauting.madduck.net | gauting.no-ip.org | embryo
+Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
   ForwardAgent yes
+  Hostname embryo.gauting.madduck.net
   HostKeyAlias embryo.gauting.madduck.net
 
 Host piper.oerlikon.madduck.net | piper
@@ -96,8 +97,10 @@ Host pict.oerlikon.madduck.net | pict
 #  AddressFamily inet
 
 Host lust.oerlikon.madduck.net | lust | hermia
-  Hostname lust.oerlikon.madduck.net
+  Hostname rscguest.ex.ulcc.ac.uk
   AddressFamily inet
+  HostKeyAlias hermia.mjollnir.org
+  CheckHostIP no
 
 Host mother.gauting.madduck.net | mother
   Hostname mother.gauting.madduck.net
@@ -307,6 +310,9 @@ Host argento.debian.org | argento
 Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
+  User madduck
 
 Host sergei.ifi.uzh.ch | sergei
   Hostname sergei.ifi.uzh.ch
@@ -315,6 +321,10 @@ Host nikolai.ifi.uzh.ch | nikolai
   Hostname nikolai.ifi.uzh.ch
   User krafft
 
+Host gratis2.opro.ch | opro
+  Hostname 193.242.105.2
+  User madduck
+
 Host *
 # AddressFamily any
 # BatchMode no
@@ -372,4 +382,5 @@ Host *
 # UsePrivilegedPort no
 # UserKnownHostsFile ~/.ssh/known_hosts
 # VerifyHostKeyDNS no
+  VisualHostKey yes
 # XAuthLocation /usr/X11R6/bin/xauth