X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/24706f6a2dd5d84e9246a5942223bc5a1104acc0..9fedac777b89f8ba73568f7d4115cfa1581346af:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 1f21e0c..f79455e 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -42,10 +42,6 @@ Host tunes.madduck.net | tunes
   Hostname bell.madduck.net
   HostKeyAlias bell.madduck.net
 
-Host vera.madduck.net | vera
-  Hostname vera.madduck.net
-  AddressFamily inet
-
 Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
   Hostname sheep.umverkehr.ch
   User madduck
@@ -56,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
+  Host 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
+  Host embryo.gauting.madduck.net
   HostKeyAlias embryo.gauting.madduck.net
 
 Host piper.oerlikon.madduck.net | piper
@@ -321,6 +318,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