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

diff --git a/.ssh/config.in b/.ssh/config.in
index 00059f3..6754c31 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -310,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
@@ -379,4 +382,5 @@ Host *
 # UsePrivilegedPort no
 # UserKnownHostsFile ~/.ssh/known_hosts
 # VerifyHostKeyDNS no
+  VisualHostKey yes
 # XAuthLocation /usr/X11R6/bin/xauth