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

diff --git a/.ssh/config.in b/.ssh/config.in
index f79455e..fa00cee 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
@@ -137,10 +137,13 @@ Host alioth.debian.org | alioth
   User madduck
 Host svn.debian.org
   HostKeyAlias alioth.debian.org
+  User madduck
 Host git.debian.org
   HostKeyAlias alioth.debian.org
+  User madduck
 Host hg.debian.org
   HostKeyAlias alioth.debian.org
+  User madduck
 
 Host vore.debian.org | vore
   Hostname vore.debian.org
@@ -310,6 +313,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
@@ -379,4 +385,5 @@ Host *
 # UsePrivilegedPort no
 # UserKnownHostsFile ~/.ssh/known_hosts
 # VerifyHostKeyDNS no
+  VisualHostKey no
 # XAuthLocation /usr/X11R6/bin/xauth