X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/cc0657c743df0c2a81dc2eebcadffaacfa91b981..cd21d031378bda245205e9b1365ae1a458d97f92:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 2a6bfca..d8ba9f0 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -25,6 +25,10 @@ Host matilda.madduck.net | matilda
 Host vizier.madduck.net | vizier
   ForwardAgent yes
   Hostname vizier.madduck.net
+Host admin.madduck.net | admin
+  Hostname admin.madduck.net
+  HostKeyAlias vizier.madduck.net
+  User git
 
 Host ambassador.madduck.net | ambassador
   ForwardAgent yes
@@ -82,12 +86,6 @@ Host ssh443.madduck.net | ssh443
 Host openvpn.madduck.net | openvpn
   HostKeyAlias sysyphus.madduck.net
 
-Host wots.madduck.net | wots
-  ForwardAgent yes
-  Hostname wots.madduck.net
-Host buildd.debian.madduck.net | buildd
-  HostKeyAlias wots.madduck.net
-
 ### UNI ZURICH MACHINES
 
 Host diamond.madduck.net | diamond
@@ -134,12 +132,14 @@ Host swan-host | swan-host.madduck.net
   User krafft
 
 Host swan.madduck.net | swan
-  ForwardAgent yes
   Hostname swan.madduck.net
+
+Host pulse.madduck.net | pulse
+  Hostname pulse.madduck.net
+
 ### ARNOLD / GPLHOST
 
 Host arnold.madduck.net | arnold
-  ForwardAgent yes
   Hostname arnold.madduck.net
 Host arnold-host | arnold-host.madduck.net
   Hostname arnold-host.madduck.net
@@ -159,28 +159,11 @@ Host wall.gern.madduck.net | wall
 Host julia.gern.madduck.net | julia
   Hostname julia.gern.madduck.net
   ForwardAgent yes
-Host juliae
-  Hostname wall.gern.madduck.net
-  Port 22002
-  CheckHostIP no
-  ForwardAgent yes
-  ForwardX11 yes
-  HostKeyAlias julia.gern.madduck.net
 
 Host git.gern.madduck.net | git.gern
   ForwardAgent yes
   HostKeyAlias julia.gern.madduck.net
 
-Host fishbowl.gern.madduck.net | fishbowl.gern
-  ForwardAgent yes
-  ForwardX11 yes
-  HostKeyAlias fishbowl
-
-Host galaxy-s2.phones.gern | galaxy-s2
-  Hostname galaxy-s2.phones.gern
-  HostKeyAlias galaxy-s2.phones.gern
-  User root
-
 Host pict.gern.madduck.net | pict
   Hostname pict.gern.madduck.net
   ForwardAgent yes
@@ -192,7 +175,7 @@ Host visitor*.gern.madduck.net | visitor*.gern | visitor*
 
 ### LEHEL
 
-Host clegg.lehel.madduck.net | clegg
+Host clegg.lehel.madduck.net | clegg.lehel | clegg
   CheckHostIP no
   ForwardAgent yes
   Hostname clegg.lehel.madduck.net
@@ -202,18 +185,6 @@ Host albatross.lehel.madduck.net | albatross.lehel | albatross
   ForwardAgent yes
   ForwardX11 yes
   HostKeyAlias albatross.lehel
-Host albatrosse
-  Hostname wall.lehel.madduck.net
-  Port 22032
-  CheckHostIP no
-  ForwardAgent yes
-  ForwardX11 yes
-  HostKeyAlias albatross.lehel
-
-Host fishbowl.lehel.madduck.net | fishbowl.lehel
-  ForwardAgent yes
-  ForwardX11 yes
-  HostKeyAlias fishbowl
 
 ### GAUTING
 
@@ -255,10 +226,23 @@ Host atom.mtvic.madduck.net | atom.mtvic | atom
 
 ### ROAD WARRIORS
 
-Host fishbowl
+Host fishbowl | fishbowl.gern | fishbowl.lehel
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
+  HostKeyAlias fishbowl
+  CanonicalizeHostname yes
+  CanonicalizeMaxDots 0
+  CanonicalDomains gern.madduck.net lehel.madduck.net rw.madduck.net
+
+### LOCAL VIRT HOSTS
+
+Host *.virt
+  CheckHostIP no
+  ForwardAgent yes
+  StrictHostKeyChecking no
+  UserKnownHostsFile /dev/null
+  ControlMaster no
 
 ### DEBIAN
 
@@ -867,6 +851,11 @@ Host nelson.debconf.org | penta.debconf.org | nelson | summit
   Hostname nelson.debconf.org
   ProxyCommand ssh people.debian.org nc -q0 %h %p
 
+### PENNY
+
+Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
+  Hostname lion.mjollnir.org
+
 ### TILDE CLUB
 
 Host remotes.club
@@ -882,6 +871,10 @@ Host squiggle.city
   Hostname squiggle.city
   User madduck
 
+Host tilde.city
+  Hostname 001.tilde.city
+  User madduck
+
 ### NZ
 
 Host workbuffer.org | nz