ForwardAgent yes
Hostname pulse.madduck.net
+Host vera.madduck.net | vera
+ ForwardAgent yes
+ Hostname vera.madduck.net
+
Host seamus.madduck.net | seamus
ForwardAgent yes
Hostname seamus.madduck.net
ForwardAgent yes
Hostname cymbaline.madduck.net
-### KHYBER KVM HOST
-
-Host khyber.madduck.net | khyber
+Host lunatic.madduck.net | lunatic
ForwardAgent yes
- Hostname khyber.madduck.net
-Host khyber-vnc
- ControlMaster no
- ControlPath none
- Hostname khyber.madduck.net
+ Hostname lunatic.madduck.net
-Host bike.madduck.net | bike
- ForwardAgent yes
- Hostname bike.madduck.net
-
-Host lotus.madduck.net | lotus
- ForwardAgent yes
- Hostname lotus.madduck.net
-Host martin-krafft.net
- User madduck
- HostKeyAlias lotus.madduck.net
-Host phd.martin-krafft.net
- User madduck
- HostKeyAlias lotus.madduck.net
-Host madduck.net
- User madduck
- HostKeyAlias lotus.madduck.net
+### UNI ZURICH MACHINES
-Host domine.madduck.net | domine
+Host gig.madduck.net | gig
ForwardAgent yes
- Hostname domine.madduck.net
-Host imap.madduck.net
- HostKeyAlias domine.madduck.net
+ Hostname gig.madduck.net
-Host sysyphus.madduck.net | sysyphus
- ForwardAgent yes
- Hostname sysyphus.madduck.net
-Host ssh443.madduck.net | ssh443
- HostKeyAlias sysyphus.madduck.net
+Host eugene.madduck.net | eugene
ForwardAgent yes
- Port 443
-Host openvpn.madduck.net | openvpn
- HostKeyAlias sysyphus.madduck.net
-
-### UNI ZURICH MACHINES
+ Hostname eugene.madduck.net
+Host eugene-luks
+ Hostname eugene.madduck.net
+ User root
Host diamond.madduck.net | diamond
ForwardAgent yes
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
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
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*
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
ForwardX11 yes
HostKeyAlias mother.gauting.madduck.net
-Host brick.gauting.madduck.net | brick
- Hostname brick.gauting.madduck.net
- ForwardAgent yes
- ForwardX11 yes
-Host bricke
- Hostname embryo.gauting.madduck.net
- Port 22222
- CheckHostIP no
- ForwardAgent yes
- ForwardX11 yes
- HostKeyAlias brick.gauting.madduck.net
+Host visitor*.lehel.madduck.net | visitor*.lehel
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
### MOUNT VICTORIA
HostKeyAlias fishbowl
ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{gern,lehel,gauting,mtvic,rw}.madduck.net; eval fping -aAC1 -t500 $TRIES 2>&1 & eval fping6 -aAC1 -t500 $TRIES 2>&1; wait) | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; exec nc -vq0 \${TARGETS%%%%,*} %p"
+### PHONES
+
+Host sgs7e | sgs7e.phones.*
+ Port 2222
+ User admin
+ HostName sgs7e.phones
+
### LOCAL VIRT HOSTS
Host wafer.virt
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
Hostname squiggle.city
User madduck
-Host tilde.city
- Hostname 001.tilde.city
- User madduck
-
### NZ
Host workbuffer.org | nz
Hostname gitlab.debian.net
User gitlab
-Host grimble.mtfk.de | grimble | mtfk | mtfk.ddns.net
+Host grimble.mtfk.de | grimble | mtfk
+ CheckHostIP no
Hostname grimble.mtfk.de
- Port 22022
+
+Host lion.mjollnir.org | lion
+ Hostname lion.mjollnir.org
+ User madduck
### DEFAULTS