X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/08ba907de12778598e223173526eb09adc5162fe..a2eb446cc4ac1863b1d44cc9dd9b42396f0fbb2e:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 6799d62..c96b503 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -133,16 +133,6 @@ Host shelter.madduck.net | shelter
 Host backup.madduck.net | backup
   HostKeyAlias shelter.madduck.net
 
-Host sergei.ifi.uzh.ch | sergei
-  Hostname sergei.ifi.uzh.ch
-  User krafft
-Host nikolai.ifi.uzh.ch | nikolai
-  Hostname nikolai.ifi.uzh.ch
-  User krafft
-Host franz.ifi.uzh.ch | franz
-  Hostname franz.ifi.uzh.ch
-  User krafft
-
 ### PIPER / BYTEMARK
 
 Host piper.madduck.net | piper
@@ -153,14 +143,6 @@ Host piper.madduck.net | piper
 Host cirrus.madduck.net | cirrus
   Hostname cirrus.madduck.net
 
-### ARNOLD / GPLHOST
-
-Host arnold.madduck.net | arnold
-  Hostname arnold.madduck.net
-Host arnold-host | arnold-host.madduck.net
-  Hostname arnold-host.madduck.net
-  User xen05
-
 ### GERN
 
 Host wall.gern.madduck.net | wall
@@ -195,6 +177,7 @@ Host pict.gern.madduck.net | pict
 Host jugband.gern.madduck.net | jugband.gern | jugband
   Hostname jugband.gern.madduck.net
   ForwardX11 yes
+  ForwardAgent yes
   HostKeyAlias jugband.gern
 
 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
@@ -223,6 +206,10 @@ Host albatross-via-diamond
   Hostname albatross.lehel.madduck.net
   ProxyJump diamond.madduck.net
 
+Host visitor*.lehel.madduck.net | visitor*.lehel
+  StrictHostKeyChecking no
+  UserKnownHostsFile /dev/null
+
 ### GAUTING
 
 Host embryo.gauting.madduck.net | embryo
@@ -255,6 +242,10 @@ Host bricke
   ForwardX11 yes
   HostKeyAlias brick.gauting.madduck.net
 
+Host visitor*.lehel.madduck.net | visitor*.lehel
+  StrictHostKeyChecking no
+  UserKnownHostsFile /dev/null
+
 ### MOUNT VICTORIA
 
 Host atom.mtvic.madduck.net | atom.mtvic | atom
@@ -332,11 +323,6 @@ Host kent.debconf.org | kent
   Hostname kent.debconf.org
   ProxyJump sysyphus.madduck.net
 
-### PENNY
-
-Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
-  Hostname lion.mjollnir.org
-
 ### TILDE CLUB
 
 Host remotes.club
@@ -348,10 +334,6 @@ Host squiggle.city
   Hostname squiggle.city
   User madduck
 
-Host tilde.city
-  Hostname 001.tilde.city
-  User madduck
-
 ### NZ
 
 Host workbuffer.org | nz