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
Hostname ambassador.madduck.net
+Host alan.madduck.net | alan
+ ForwardAgent yes
+ Hostname alan.madduck.net
+
+Host swan.madduck.net | swan
+ ForwardAgent yes
+ Hostname swan.madduck.net
+
### KHYBER KVM HOST
Host khyber.madduck.net | khyber
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
Hostname franz.ifi.uzh.ch
User krafft
-### SWAN / BYTEMARK
+### PIPER / BYTEMARK
-Host swan-host | swan-host.madduck.net
- Hostname swan-host.madduck.net
- User krafft
+Host piper.madduck.net | piper
+ Hostname piper.madduck.net
-Host swan.madduck.net | swan
- ForwardAgent yes
- Hostname swan.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
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
+Host annex.gern.madduck.net | annex.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
+ HostKeyAlias julia.gern.madduck.net
+Host shared.gern.madduck.net | shared.gern
+ ForwardAgent yes
+ HostKeyAlias julia.gern.madduck.net
Host pict.gern.madduck.net | pict
Hostname pict.gern.madduck.net
### LEHEL
-Host clegg.lehel.madduck.net | clegg
+Host clegg.lehel.madduck.net | clegg.lehel | clegg
CheckHostIP no
ForwardAgent yes
Hostname clegg.lehel.madduck.net
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
### ROAD WARRIORS
-Host fishbowl
+Host fishbowl.*
CheckHostIP no
ForwardAgent yes
ForwardX11 yes
+ HostKeyAlias fishbowl
+
+Host fishbowl | fishbowl.rw.madduck.net
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+ HostKeyAlias fishbowl
+ ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,rw}.madduck.net; eval fping -aAC1 -t100 $TRIES; eval fping6 -aAC1 -t100 $TRIES; wait) 2>&1 | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; nc -vq0 \${TARGETS%%%%,*} %p"
+
+### LOCAL VIRT HOSTS
+
+Host *.virt | 192.168.122.* | red | green | blue | yellow | black | white | orange | violet
+ CheckHostIP no
+ ForwardAgent yes
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
+ ControlMaster no
+ User root
+ CanonicalDomains virt
+ CanonicalizeHostname yes
+ CanonicalizeFallbackLocal no
+ CanonicalizeMaxDots 0
### DEBIAN
Hostname zemlinsky.debian.org
User madduck
-Host nelson.debconf.org | penta.debconf.org | nelson | summit
+Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
Hostname nelson.debconf.org
- ProxyCommand ssh people.debian.org nc -q0 %h %p
+ ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
+
+Host kent.debconf.org | kent
+ Hostname kent.debconf.org
+ ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
+
+### PENNY
+
+Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
+ Hostname lion.mjollnir.org
### TILDE CLUB
-Host remotes-club | remotes.club
+Host remotes.club
Hostname remotes.club
Port 9022
User madduck
-Host tilde-camp | tilde.camp
+Host tilde.camp
Hostname tilde.camp
User madduck
-Host squiggle-city | squiggle.city
+Host squiggle.city
Hostname squiggle.city
User madduck
+Host tilde.city
+ Hostname 001.tilde.city
+ User madduck
+
### NZ
Host workbuffer.org | nz