.ssh/config.in

   1 Host 127.0.0.1 | localhost
   2   ForwardAgent yes
   3   ForwardX11 yes
   4   ForwardX11Trusted yes
   5   NoHostAuthenticationForLocalhost yes
   6
   7 ### CHARADE KVM HOST
   8
   9 Host charade.madduck.net | charade
  10   ForwardAgent yes
  11   Hostname charade.madduck.net
  12 Host charade-vnc
  13   ControlMaster no
  14   ControlPath none
  15   Hostname charade.madduck.net
  16
  17 Host emily.madduck.net | emily
  18   ForwardAgent yes
  19   Hostname emily.madduck.net
  20
  21 Host matilda.madduck.net | matilda
  22   ForwardAgent yes
  23   Hostname matilda.madduck.net
  24
  25 Host vizier.madduck.net | vizier
  26   ForwardAgent yes
  27   Hostname vizier.madduck.net
  28 Host admin.madduck.net | admin
  29   Hostname admin.madduck.net
  30   HostKeyAlias vizier.madduck.net
  31   User git
  32
  33 Host ambassador.madduck.net | ambassador
  34   ForwardAgent yes
  35   Hostname ambassador.madduck.net
  36
  37 Host alan.madduck.net | alan
  38   ForwardAgent yes
  39   Hostname alan.madduck.net
  40
  41 Host swan.madduck.net | swan
  42   ForwardAgent yes
  43   Hostname swan.madduck.net
  44 Host irc-host.madduck.net | irc-host
  45   User madduck
  46   HostKeyAlias swan.madduck.net
  47   ConnectTimeout 60
  48
  49 Host pulse.madduck.net | pulse
  50   ForwardAgent yes
  51   Hostname pulse.madduck.net
  52
  53 Host seamus.madduck.net | seamus
  54   ForwardAgent yes
  55   Hostname seamus.madduck.net
  56
  57 ### KHYBER KVM HOST
  58
  59 Host khyber.madduck.net | khyber
  60   ForwardAgent yes
  61   Hostname khyber.madduck.net
  62 Host khyber-vnc
  63   ControlMaster no
  64   ControlPath none
  65   Hostname khyber.madduck.net
  66
  67 Host bike.madduck.net | bike
  68   ForwardAgent yes
  69   Hostname bike.madduck.net
  70
  71 Host lotus.madduck.net | lotus
  72   ForwardAgent yes
  73   Hostname lotus.madduck.net
  74 Host git.madduck.net | git
  75   User git
  76   HostKeyAlias lotus.madduck.net
  77 Host git.debian.ch
  78   User git
  79   HostKeyAlias lotus.madduck.net
  80 Host martin-krafft.net
  81   User madduck
  82   HostKeyAlias lotus.madduck.net
  83 Host phd.martin-krafft.net
  84   User madduck
  85   HostKeyAlias lotus.madduck.net
  86 Host madduck.net
  87   User madduck
  88   HostKeyAlias lotus.madduck.net
  89
  90 Host domine.madduck.net | domine
  91   ForwardAgent yes
  92   Hostname domine.madduck.net
  93 Host imap.madduck.net
  94   HostKeyAlias domine.madduck.net
  95
  96 Host sysyphus.madduck.net | sysyphus
  97   ForwardAgent yes
  98   Hostname sysyphus.madduck.net
  99 Host ssh443.madduck.net | ssh443
 100   HostKeyAlias sysyphus.madduck.net
 101   ForwardAgent yes
 102   Port 443
 103 Host openvpn.madduck.net | openvpn
 104   HostKeyAlias sysyphus.madduck.net
 105
 106 ### UNI ZURICH MACHINES
 107
 108 Host diamond.madduck.net | diamond
 109   ForwardAgent yes
 110   Hostname diamond.madduck.net
 111 Host debian.madduck.net | debian
 112   HostKeyAlias diamond.madduck.net
 113 Host scratch.madduck.net | scratch
 114   User madduck
 115   HostKeyAlias diamond.madduck.net
 116 Host tunes.madduck.net | tunes
 117   AddressFamily inet
 118   ControlMaster no
 119   Hostname tunes.madduck.net
 120   HostKeyAlias diamond.madduck.net
 121   IPQoS lowdelay af13
 122 Host flics.madduck.net | flics
 123   AddressFamily inet
 124   ControlMaster no
 125   Hostname flics.madduck.net
 126   HostKeyAlias diamond.madduck.net
 127   IPQoS lowdelay af13
 128
 129 Host shelter.madduck.net | shelter
 130   ForwardAgent yes
 131   Hostname shelter.madduck.net
 132 Host backup.madduck.net | backup
 133   HostKeyAlias shelter.madduck.net
 134
 135 Host sergei.ifi.uzh.ch | sergei
 136   Hostname sergei.ifi.uzh.ch
 137   User krafft
 138 Host nikolai.ifi.uzh.ch | nikolai
 139   Hostname nikolai.ifi.uzh.ch
 140   User krafft
 141 Host franz.ifi.uzh.ch | franz
 142   Hostname franz.ifi.uzh.ch
 143   User krafft
 144
 145 ### PIPER / BYTEMARK
 146
 147 Host piper.madduck.net | piper
 148   Hostname piper.madduck.net
 149
 150 ### CIRRUS / HETZNER
 151
 152 Host cirrus.madduck.net | cirrus
 153   Hostname cirrus.madduck.net
 154
 155 ### ARNOLD / GPLHOST
 156
 157 Host arnold.madduck.net | arnold
 158   Hostname arnold.madduck.net
 159 Host arnold-host | arnold-host.madduck.net
 160   Hostname arnold-host.madduck.net
 161   User xen05
 162
 163 ### GERN
 164
 165 Host wall.gern.madduck.net | wall
 166   CheckHostIP no
 167   ForwardAgent yes
 168   Hostname wall.gern.madduck.net
 169
 170 Host julia.gern.madduck.net | julia
 171   Hostname julia.gern.madduck.net
 172   ForwardAgent yes
 173   ForwardX11 yes
 174
 175 Host git.gern.madduck.net | git.gern
 176   ForwardAgent yes
 177   HostKeyAlias julia.gern.madduck.net
 178 Host annex.gern.madduck.net | annex.gern
 179   ForwardAgent yes
 180   HostKeyAlias julia.gern.madduck.net
 181 Host shared.gern.madduck.net | shared.gern
 182   ForwardAgent yes
 183   HostKeyAlias julia.gern.madduck.net
 184
 185 Host pict.gern.madduck.net | pict
 186   Hostname pict.gern.madduck.net
 187   ForwardAgent yes
 188   ForwardX11 yes
 189
 190 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
 191   StrictHostKeyChecking no
 192   UserKnownHostsFile /dev/null
 193
 194 ### LEHEL
 195
 196 Host clegg.lehel.madduck.net | clegg.lehel | clegg
 197   CheckHostIP no
 198   ForwardAgent yes
 199   Hostname clegg.lehel.madduck.net
 200
 201 Host albatross.lehel.madduck.net | albatross.lehel | albatross
 202   Hostname albatross.lehel.madduck.net
 203   ForwardAgent yes
 204   ForwardX11 yes
 205   HostKeyAlias albatross.lehel
 206 Host albatross-luks
 207   Hostname albatross.lehel.madduck.net
 208   HostKeyAlias albatross-luks.lehel.madduck.net
 209   User root
 210
 211 Host jugband.lehel.madduck.net | jugband.lehel | jugband
 212   Hostname jugband.lehel.madduck.net
 213   ForwardX11 yes
 214   HostKeyAlias jugband.lehel
 215
 216 ### GAUTING
 217
 218 Host embryo.gauting.madduck.net | embryo
 219   CheckHostIP no
 220   ForwardAgent yes
 221   Hostname embryo.gauting.madduck.net
 222   HostKeyAlias embryo.gauting.madduck.net
 223
 224 Host mother.gauting | mother | mother.gauting.madduck.net
 225   Hostname mother.gauting
 226   ForwardAgent yes
 227   ForwardX11 yes
 228 Host mothere
 229   Hostname embryo.gauting.madduck.net
 230   Port 22021
 231   CheckHostIP no
 232   ForwardAgent yes
 233   ForwardX11 yes
 234   HostKeyAlias mother.gauting.madduck.net
 235
 236 Host brick.gauting.madduck.net | brick
 237   Hostname brick.gauting.madduck.net
 238   ForwardAgent yes
 239   ForwardX11 yes
 240 Host bricke
 241   Hostname embryo.gauting.madduck.net
 242   Port 22222
 243   CheckHostIP no
 244   ForwardAgent yes
 245   ForwardX11 yes
 246   HostKeyAlias brick.gauting.madduck.net
 247
 248 ### MOUNT VICTORIA
 249
 250 Host atom.mtvic.madduck.net | atom.mtvic | atom
 251   Hostname atom.mtvic.madduck.net
 252   ForwardAgent yes
 253
 254 ### ROAD WARRIORS
 255
 256 Host fishbowl.*
 257   CheckHostIP no
 258   ForwardAgent yes
 259   ForwardX11 yes
 260   HostKeyAlias fishbowl
 261
 262 Host fishbowl | fishbowl.rw.madduck.net
 263   CheckHostIP no
 264   ForwardAgent yes
 265   ForwardX11 yes
 266   HostKeyAlias fishbowl
 267   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"
 268
 269 ### LOCAL VIRT HOSTS
 270
 271 Host wafer.virt
 272   RemoteForward 25000 localhost:25
 273   ForwardX11 yes
 274
 275 Host red | green | blue | yellow | black | white | orange | violet | wafer
 276   CanonicalDomains virt
 277   CanonicalizeHostname yes
 278   CanonicalizeFallbackLocal no
 279   CanonicalizeMaxDots 0
 280   VerifyHostKeyDNS no
 281   CheckHostIP no
 282   ForwardAgent yes
 283   StrictHostKeyChecking no
 284   UserKnownHostsFile /dev/null
 285
 286 ### DEBIAN
 287
 288 Host alioth.debian.org | anonscm.alioth.debian.org | svn.debian.org | git.debian.org | hg.debian.org | cvs.debian.org
 289   HostKeyAlias moszumanska.debian.org
 290
 291 Host people.debian.org | people
 292   Hostname people.debian.org
 293   HostKeyAlias paradis.debian.org
 294
 295 Host master.debian.org | master
 296   Hostname master.debian.org
 297
 298 Match host *.debian.org
 299   StrictHostKeyChecking ask
 300   VerifyHostKeyDNS ask
 301   User madduck
 302
 303 ### DEBCONF
 304
 305 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
 306   Hostname nelson.debconf.org
 307   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 308
 309 Host kent.debconf.org | kent
 310   Hostname kent.debconf.org
 311   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 312
 313 ### PENNY
 314
 315 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
 316   Hostname lion.mjollnir.org
 317
 318 ### TILDE CLUB
 319
 320 Host remotes.club
 321   Hostname remotes.club
 322   Port 9022
 323   User madduck
 324
 325 Host tilde.camp
 326   Hostname tilde.camp
 327   User madduck
 328
 329 Host squiggle.city
 330   Hostname squiggle.city
 331   User madduck
 332
 333 Host tilde.city
 334   Hostname 001.tilde.city
 335   User madduck
 336
 337 ### NZ
 338
 339 Host workbuffer.org | nz
 340   Hostname workbuffer.org
 341   User madduck
 342
 343 ### MISC
 344
 345 Host github.com | github
 346   Hostname github.com
 347   User git
 348
 349 ### DEFAULTS
 350
 351 Match host *.madduck.net
 352   StrictHostKeyChecking ask
 353   VerifyHostKeyDNS ask
 354
 355 Host *
 356   IgnoreUnknown *
 357   ConnectTimeout 10
 358   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
 359   ControlMaster auto
 360   ControlPersist 30
 361   ExitOnForwardFailure yes
 362   ForwardAgent no
 363   ForwardX11 no
 364   ForwardX11Trusted no
 365   HashKnownHosts no
 366   NumberOfPasswordPrompts 2
 367   PasswordAuthentication yes
 368   Protocol 2
 369   ServerAliveInterval 45
 370   StrictHostKeyChecking yes
 371   UpdateHostKeys no
 372   VerifyHostKeyDNS ask
 373   VisualHostKey no