Host 127.0.0.1 | localhost
  ForwardAgent yes
  ForwardX11 yes
  ForwardX11Trusted yes
  NoHostAuthenticationForLocalhost yes

### CHARADE KVM HOST

Host charade.madduck.net | charade
  ForwardAgent yes
  Hostname charade.madduck.net
Host charade-vnc
  ControlMaster no
  ControlPath none
  Hostname charade.madduck.net

Host emily.madduck.net | emily
  ForwardAgent yes
  Hostname emily.madduck.net

Host matilda.madduck.net | matilda
  ForwardAgent yes
  Hostname matilda.madduck.net
Host irc-host.madduck.net | irc-host
  User madduck
  HostKeyAlias matilda.madduck.net
  ConnectTimeout 60

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 git.madduck.net | git
  User git
  HostKeyAlias alan.madduck.net

Host swan.madduck.net | swan
  ForwardAgent yes
  Hostname swan.madduck.net

Host pulse.madduck.net | pulse
  ForwardAgent yes
  Hostname pulse.madduck.net

Host seamus.madduck.net | seamus
  ForwardAgent yes
  Hostname seamus.madduck.net

Host cymbaline.madduck.net | cymbaline
  ForwardAgent yes
  Hostname cymbaline.madduck.net

### KHYBER KVM HOST

Host khyber.madduck.net | khyber
  ForwardAgent yes
  Hostname khyber.madduck.net
Host khyber-vnc
  ControlMaster no
  ControlPath none
  Hostname khyber.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

Host domine.madduck.net | domine
  ForwardAgent yes
  Hostname domine.madduck.net
Host imap.madduck.net
  HostKeyAlias domine.madduck.net

Host sysyphus.madduck.net | sysyphus
  ForwardAgent yes
  Hostname sysyphus.madduck.net
Host ssh443.madduck.net | ssh443
  HostKeyAlias sysyphus.madduck.net
  ForwardAgent yes
  Port 443
Host openvpn.madduck.net | openvpn
  HostKeyAlias sysyphus.madduck.net

### UNI ZURICH MACHINES

Host diamond.madduck.net | diamond
  ForwardAgent yes
  Hostname diamond.madduck.net
Host debian.madduck.net | debian
  HostKeyAlias diamond.madduck.net
Host scratch.madduck.net | scratch
  User madduck
  HostKeyAlias diamond.madduck.net
Host tunes.madduck.net | tunes
  AddressFamily inet
  ControlMaster no
  Hostname tunes.madduck.net
  HostKeyAlias diamond.madduck.net
  IPQoS lowdelay af13
Host flics.madduck.net | flics
  AddressFamily inet
  ControlMaster no
  Hostname flics.madduck.net
  HostKeyAlias diamond.madduck.net
  IPQoS lowdelay af13

Host shelter.madduck.net | shelter
  ForwardAgent yes
  Hostname shelter.madduck.net
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
  Hostname piper.madduck.net

### CIRRUS / HETZNER

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
  CheckHostIP no
  ForwardAgent yes
  Hostname wall.gern.madduck.net

Host julia.gern.madduck.net | julia
  Hostname julia.gern.madduck.net
  ForwardAgent yes
  ForwardX11 yes

Host julia-via-diamond
  Hostname julia.gern.madduck.net
  ProxyJump diamond.madduck.net

Host git.gern.madduck.net | git.gern
  ForwardAgent yes
  HostKeyAlias julia.gern.madduck.net
Host annex.gern.madduck.net | annex.gern
  ForwardAgent yes
  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
  ForwardAgent yes
  ForwardX11 yes

Host jugband.gern.madduck.net | jugband.gern | jugband
  Hostname jugband.gern.madduck.net
  ForwardX11 yes
  HostKeyAlias jugband.gern

Host visitor*.gern.madduck.net | visitor*.gern | visitor*
  StrictHostKeyChecking no
  UserKnownHostsFile /dev/null

### LEHEL

Host clegg.lehel.madduck.net | clegg.lehel | clegg
  CheckHostIP no
  ForwardAgent yes
  Hostname clegg.lehel.madduck.net

Host albatross.lehel.madduck.net | albatross.lehel | albatross
  Hostname albatross.lehel.madduck.net
  ForwardAgent yes
  ForwardX11 yes
  HostKeyAlias albatross.lehel
Host albatross-luks
  Hostname albatross.lehel.madduck.net
  StrictHostKeyChecking no
  UserKnownHostsFile /dev/null
  User root

Host albatross-via-diamond
  Hostname albatross.lehel.madduck.net
  ProxyJump diamond.madduck.net

### GAUTING

Host embryo.gauting.madduck.net | embryo
  CheckHostIP no
  ForwardAgent yes
  Hostname embryo.gauting.madduck.net
  HostKeyAlias embryo.gauting.madduck.net

Host mother.gauting | mother | mother.gauting.madduck.net
  Hostname mother.gauting
  ForwardAgent yes
  ForwardX11 yes
Host mothere
  Hostname embryo.gauting.madduck.net
  Port 22021
  CheckHostIP no
  ForwardAgent yes
  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

### MOUNT VICTORIA

Host atom.mtvic.madduck.net | atom.mtvic | atom
  Hostname atom.mtvic.madduck.net
  ForwardAgent yes

Host atom-via-sysyphus
  HostKeyAlias atom.mtvic.madduck.net
  ProxyCommand ssh sysyphus.madduck.net nc -q0 localhost 22015

Host bell.mtvic.madduck.net | bell.mtvic | bell | chip
  Hostname bell.mtvic.madduck.net
  ForwardAgent yes

### ROAD WARRIORS

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,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"

### LOCAL VIRT HOSTS

Host wafer.virt
  RemoteForward 25000 localhost:25
  ForwardX11 yes

Host red | green | blue | yellow | black | white | orange | violet | wafer
  CanonicalDomains virt
  CanonicalizeHostname yes
  CanonicalizeFallbackLocal no
  CanonicalizeMaxDots 0
  VerifyHostKeyDNS no
  CheckHostIP no
  ForwardAgent yes
  StrictHostKeyChecking no
  UserKnownHostsFile /dev/null

### DEBIAN

Host alioth.debian.org | anonscm.alioth.debian.org | svn.debian.org | git.debian.org | hg.debian.org | cvs.debian.org
  HostKeyAlias moszumanska.debian.org

Host people.debian.org | people
  Hostname people.debian.org
  HostKeyAlias paradis.debian.org

Host master.debian.org | master
  Hostname master.debian.org

Match host *.debian.org
  StrictHostKeyChecking ask
  VerifyHostKeyDNS ask
  User madduck

### DEBCONF

Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
  Hostname nelson.debconf.org
  ProxyJump sysyphus.madduck.net

Host itchy.debconf.org | itchy | wafer.debconf.org | wafer
  Hostname itchy.debconf.org
  ProxyJump sysyphus.madduck.net

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
  Hostname remotes.club
  Port 9022
  User madduck

Host tilde.camp
  Hostname tilde.camp
  User madduck

Host squiggle.city
  Hostname squiggle.city
  User madduck

Host tilde.city
  Hostname 001.tilde.city
  User madduck

### NZ

Host workbuffer.org | nz
  Hostname workbuffer.org
  User madduck

### MISC

Host github.com | github
  Hostname github.com
  User git

Host gitlab.com | gitlab
  Hostname gitlab.com
  User gitlab

Host gitlab.debian.net | git.fosscommunity.in
  Hostname gitlab.debian.net
  User gitlab

Host grimble.mtfk.de | grimble | mtfk | mtfk.ddns.net
  Hostname grimble.mtfk.de
  Port 22022

### DEFAULTS

Match host *.madduck.net
  StrictHostKeyChecking ask
  VerifyHostKeyDNS ask

Host *
  IgnoreUnknown *
  ConnectTimeout 10
  ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
  ControlMaster auto
  ControlPersist 30
  ExitOnForwardFailure yes
  ForwardAgent no
  #ForwardX11 no
  #ForwardX11Trusted no
  HashKnownHosts no
  NumberOfPasswordPrompts 2
  PasswordAuthentication yes
  Protocol 2
  ServerAliveInterval 45
  StrictHostKeyChecking yes
  #UpdateHostKeys no
  VerifyHostKeyDNS ask
  VisualHostKey no