X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/a03db3751d1638db95f39394eb281e0f028f9b21..92a65cbaac7c639dcff1f1ea3e15e2627cd80ed9:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 75a9188..00059f3 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -55,13 +55,13 @@ Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
 Host wall.oerlikon.madduck.net | wall
   CheckHostIP no
   ForwardAgent yes
-  Host wall.oerlikon.madduck.net
+  Hostname wall.oerlikon.madduck.net
   HostKeyAlias wall.oerlikon.madduck.net
 
 Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
   ForwardAgent yes
-  Host embryo.gauting.madduck.net
+  Hostname embryo.gauting.madduck.net
   HostKeyAlias embryo.gauting.madduck.net
 
 Host piper.oerlikon.madduck.net | piper
@@ -318,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