.ssh/config.in

   1 Host 127.0.0.1 | localhost
   2   ForwardAgent yes
   3   ForwardX11 yes
   4   ForwardX11Trusted yes
   5   NoHostAuthenticationForLocalhost yes
   6
   7 Match host *.madduck.net
   8   StrictHostKeyChecking ask
   9   VerifyHostKeyDNS ask
  10
  11 ### CHARADE KVM HOST
  12
  13 Host charade.madduck.net | charade
  14   ForwardAgent yes
  15   Hostname charade.madduck.net
  16 Host charade-vnc
  17   ControlMaster no
  18   ControlPath none
  19   Hostname charade.madduck.net
  20
  21 Host emily.madduck.net | emily
  22   ForwardAgent yes
  23   Hostname emily.madduck.net
  24
  25 Host matilda.madduck.net | matilda
  26   ForwardAgent yes
  27   Hostname matilda.madduck.net
  28
  29 Host vizier.madduck.net | vizier
  30   ForwardAgent yes
  31   Hostname vizier.madduck.net
  32 Host admin.madduck.net | admin
  33   Hostname admin.madduck.net
  34   HostKeyAlias vizier.madduck.net
  35   User git
  36
  37 Host ambassador.madduck.net | ambassador
  38   ForwardAgent yes
  39   Hostname ambassador.madduck.net
  40
  41 Host alan.madduck.net | alan
  42   ForwardAgent yes
  43   Hostname alan.madduck.net
  44
  45 Host swan.madduck.net | swan
  46   ForwardAgent yes
  47   Hostname swan.madduck.net
  48 Host irc-host.madduck.net | irc-host
  49   User madduck
  50   HostKeyAlias swan.madduck.net
  51   ConnectTimeout 60
  52
  53 Host pulse.madduck.net | pulse
  54   ForwardAgent yes
  55   Hostname pulse.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 jugband.madduck.net | jugband
  91   ForwardAgent yes
  92   Hostname jugband.madduck.net
  93
  94 Host domine.madduck.net | domine
  95   ForwardAgent yes
  96   Hostname domine.madduck.net
  97 Host imap.madduck.net
  98   HostKeyAlias domine.madduck.net
  99
 100 Host aika.krafftwerk.de | aika
 101   Hostname aika.krafftwerk.de
 102
 103 Host sysyphus.madduck.net | sysyphus
 104   ForwardAgent yes
 105   Hostname sysyphus.madduck.net
 106 Host ssh443.madduck.net | ssh443
 107   HostKeyAlias sysyphus.madduck.net
 108   ForwardAgent yes
 109   Port 443
 110 Host openvpn.madduck.net | openvpn
 111   HostKeyAlias sysyphus.madduck.net
 112
 113 ### UNI ZURICH MACHINES
 114
 115 Host diamond.madduck.net | diamond
 116   ForwardAgent yes
 117   Hostname diamond.madduck.net
 118 Host debian.madduck.net | debian
 119   HostKeyAlias diamond.madduck.net
 120 Host scratch.madduck.net | scratch
 121   User madduck
 122   HostKeyAlias diamond.madduck.net
 123 Host tunes.madduck.net | tunes
 124   AddressFamily inet
 125   ControlMaster no
 126   Hostname tunes.madduck.net
 127   HostKeyAlias diamond.madduck.net
 128   IPQoS lowdelay af13
 129 Host flics.madduck.net | flics
 130   AddressFamily inet
 131   ControlMaster no
 132   Hostname flics.madduck.net
 133   HostKeyAlias diamond.madduck.net
 134   IPQoS lowdelay af13
 135
 136 Host shelter.madduck.net | shelter
 137   ForwardAgent yes
 138   Hostname shelter.madduck.net
 139 Host backup.madduck.net | backup
 140   HostKeyAlias shelter.madduck.net
 141
 142 Host sergei.ifi.uzh.ch | sergei
 143   Hostname sergei.ifi.uzh.ch
 144   User krafft
 145 Host nikolai.ifi.uzh.ch | nikolai
 146   Hostname nikolai.ifi.uzh.ch
 147   User krafft
 148 Host franz.ifi.uzh.ch | franz
 149   Hostname franz.ifi.uzh.ch
 150   User krafft
 151
 152 ### PIPER / BYTEMARK
 153
 154 Host piper.madduck.net | piper
 155   Hostname piper.madduck.net
 156
 157 ### CIRRUS / HETZNER
 158
 159 Host cirrus.madduck.net | cirrus
 160   Hostname cirrus.madduck.net
 161
 162 ### ARNOLD / GPLHOST
 163
 164 Host arnold.madduck.net | arnold
 165   Hostname arnold.madduck.net
 166 Host arnold-host | arnold-host.madduck.net
 167   Hostname arnold-host.madduck.net
 168   User xen05
 169
 170 ### GERN
 171
 172 Host wall.gern.madduck.net | wall
 173   CheckHostIP no
 174   ForwardAgent yes
 175   Hostname wall.gern.madduck.net
 176
 177 Host julia.gern.madduck.net | julia
 178   Hostname julia.gern.madduck.net
 179   ForwardAgent yes
 180   ForwardX11 yes
 181
 182 Host git.gern.madduck.net | git.gern
 183   ForwardAgent yes
 184   HostKeyAlias julia.gern.madduck.net
 185 Host annex.gern.madduck.net | annex.gern
 186   ForwardAgent yes
 187   HostKeyAlias julia.gern.madduck.net
 188 Host shared.gern.madduck.net | shared.gern
 189   ForwardAgent yes
 190   HostKeyAlias julia.gern.madduck.net
 191
 192 Host pict.gern.madduck.net | pict
 193   Hostname pict.gern.madduck.net
 194   ForwardAgent yes
 195   ForwardX11 yes
 196
 197 Host visitor*.gern.madduck.net | visitor*.gern | visitor*
 198   StrictHostKeyChecking no
 199   UserKnownHostsFile /dev/null
 200
 201 ### LEHEL
 202
 203 Host clegg.lehel.madduck.net | clegg.lehel | clegg
 204   CheckHostIP no
 205   ForwardAgent yes
 206   Hostname clegg.lehel.madduck.net
 207
 208 Host albatross.lehel.madduck.net | albatross.lehel | albatross
 209   Hostname albatross.lehel.madduck.net
 210   ForwardAgent yes
 211   ForwardX11 yes
 212   HostKeyAlias albatross.lehel
 213
 214 ### GAUTING
 215
 216 Host embryo.gauting.madduck.net | embryo
 217   CheckHostIP no
 218   ForwardAgent yes
 219   Hostname embryo.gauting.madduck.net
 220   HostKeyAlias embryo.gauting.madduck.net
 221
 222 Host mother.gauting | mother | mother.gauting.madduck.net
 223   Hostname mother.gauting
 224   ForwardAgent yes
 225   ForwardX11 yes
 226 Host mothere
 227   Hostname embryo.gauting.madduck.net
 228   Port 22021
 229   CheckHostIP no
 230   ForwardAgent yes
 231   ForwardX11 yes
 232   HostKeyAlias mother.gauting.madduck.net
 233
 234 Host brick.gauting.madduck.net | brick
 235   Hostname brick.gauting.madduck.net
 236   ForwardAgent yes
 237   ForwardX11 yes
 238 Host bricke
 239   Hostname embryo.gauting.madduck.net
 240   Port 22222
 241   CheckHostIP no
 242   ForwardAgent yes
 243   ForwardX11 yes
 244   HostKeyAlias brick.gauting.madduck.net
 245
 246 ### MOUNT VICTORIA
 247
 248 Host atom.mtvic.madduck.net | atom.mtvic | atom
 249   Hostname atom.mtvic.madduck.net
 250   ForwardAgent yes
 251
 252 ### ROAD WARRIORS
 253
 254 Host fishbowl.*
 255   CheckHostIP no
 256   ForwardAgent yes
 257   ForwardX11 yes
 258   HostKeyAlias fishbowl
 259
 260 Host fishbowl | fishbowl.rw.madduck.net
 261   CheckHostIP no
 262   ForwardAgent yes
 263   ForwardX11 yes
 264   HostKeyAlias fishbowl
 265   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"
 266
 267 ### LOCAL VIRT HOSTS
 268
 269 Host *.virt | 192.168.122.* | red | green | blue | yellow | black | white | orange | violet
 270   CheckHostIP no
 271   ForwardAgent yes
 272   StrictHostKeyChecking no
 273   UserKnownHostsFile /dev/null
 274   ControlMaster no
 275   User root
 276   CanonicalDomains virt
 277   CanonicalizeHostname yes
 278   CanonicalizeFallbackLocal no
 279   CanonicalizeMaxDots 0
 280
 281 ### DEBIAN
 282
 283 Match host *.debian.org
 284   StrictHostKeyChecking ask
 285   VerifyHostKeyDNS ask
 286
 287 Host scm.alioth.debian.org
 288   HostKeyAlias moszumanska.debian.org
 289   User madduck
 290 Host svn.debian.org
 291   HostKeyAlias moszumanska.debian.org
 292   User madduck
 293 Host git.debian.org
 294   HostKeyAlias moszumanska.debian.org
 295   User madduck
 296 Host hg.debian.org
 297   HostKeyAlias moszumanska.debian.org
 298   User madduck
 299 Host cvs.debian.org
 300   HostKeyAlias moszumanska.debian.org
 301   User madduck
 302
 303 Host people.debian.org | people
 304   Hostname people.debian.org
 305   HostKeyAlias paradis.debian.org
 306   User madduck
 307
 308 Host abel.debian.org | abel
 309   Hostname abel.debian.org
 310   User madduck
 311 Host adayevskaya.debian.org | adayevskaya
 312   Hostname adayevskaya.debian.org
 313   User madduck
 314 Host alkman.debian.org | alkman
 315   Hostname alkman.debian.org
 316   User madduck
 317 Host alwyn.debian.org | alwyn
 318   Hostname alwyn.debian.org
 319   User madduck
 320 Host ancina.debian.org | ancina
 321   Hostname ancina.debian.org
 322   User madduck
 323 Host antheil.debian.org | antheil
 324   Hostname antheil.debian.org
 325   User madduck
 326 Host arnold.debian.org
 327   Hostname arnold.debian.org
 328   User madduck
 329 Host asdfasdf.debian.net | asdfasdf
 330   Hostname asdfasdf.debian.net
 331   User madduck
 332 Host babin.debian.org | babin
 333   Hostname babin.debian.org
 334   User madduck
 335 Host backuphost.debian.org | backuphost
 336   Hostname backuphost.debian.org
 337   User madduck
 338 Host ball.debian.org | ball
 339   Hostname ball.debian.org
 340   User madduck
 341 Host barber.debian.org | barber
 342   Hostname barber.debian.org
 343   User madduck
 344 Host barriere.debian.org | barriere
 345   Hostname barriere.debian.org
 346   User madduck
 347 Host beach.debian.org | beach
 348   Hostname beach.debian.org
 349   User madduck
 350 Host beethoven.debian.org | beethoven
 351   Hostname beethoven.debian.org
 352   User madduck
 353 Host bendel.debian.org | bendel
 354   Hostname bendel.debian.org
 355   User madduck
 356 Host berlioz.debian.org | berlioz
 357   Hostname berlioz.debian.org
 358   User madduck
 359 Host bertali.debian.org | bertali
 360   Hostname bertali.debian.org
 361   User madduck
 362 Host biber.debian.org | biber
 363   Hostname biber.debian.org
 364   User madduck
 365 Host binet.debian.org | binet
 366   Hostname binet.debian.org
 367   User madduck
 368 Host bizet.debian.org | bizet
 369   Hostname bizet.debian.org
 370   User madduck
 371 Host blavet.debian.org | blavet
 372   Hostname blavet.debian.org
 373   User madduck
 374 Host bm-bl1.debian.org | bm-bl1
 375   Hostname bm-bl1.debian.org
 376   User madduck
 377 Host bm-bl10.debian.org | bm-bl10
 378   Hostname bm-bl10.debian.org
 379   User madduck
 380 Host bm-bl11.debian.org | bm-bl11
 381   Hostname bm-bl11.debian.org
 382   User madduck
 383 Host bm-bl12.debian.org | bm-bl12
 384   Hostname bm-bl12.debian.org
 385   User madduck
 386 Host bm-bl2.debian.org | bm-bl2
 387   Hostname bm-bl2.debian.org
 388   User madduck
 389 Host bm-bl3.debian.org | bm-bl3
 390   Hostname bm-bl3.debian.org
 391   User madduck
 392 Host bm-bl4.debian.org | bm-bl4
 393   Hostname bm-bl4.debian.org
 394   User madduck
 395 Host bm-bl5.debian.org | bm-bl5
 396   Hostname bm-bl5.debian.org
 397   User madduck
 398 Host bm-bl6.debian.org | bm-bl6
 399   Hostname bm-bl6.debian.org
 400   User madduck
 401 Host bm-bl7.debian.org | bm-bl7
 402   Hostname bm-bl7.debian.org
 403   User madduck
 404 Host bm-bl8.debian.org | bm-bl8
 405   Hostname bm-bl8.debian.org
 406   User madduck
 407 Host bm-bl9.debian.org | bm-bl9
 408   Hostname bm-bl9.debian.org
 409   User madduck
 410 Host bmdb1.debian.org | bmdb1
 411   Hostname bmdb1.debian.org
 412   User madduck
 413 Host boito.debian.org | boito
 414   Hostname boito.debian.org
 415   User madduck
 416 Host brahms.debian.org | brahms
 417   Hostname brahms.debian.org
 418   User madduck
 419 Host busoni.debian.org | busoni
 420   Hostname busoni.debian.org
 421   User madduck
 422 Host buxtehude.debian.org | buxtehude
 423   Hostname buxtehude.debian.org
 424   User madduck
 425 Host byrd.debian.org | byrd
 426   Hostname byrd.debian.org
 427   User madduck
 428 Host caballero.debian.org | caballero
 429   Hostname caballero.debian.org
 430   User madduck
 431 Host chopin.debian.org | chopin
 432   Hostname chopin.debian.org
 433   User madduck
 434 Host clementi.debian.org | clementi
 435   Hostname clementi.debian.org
 436   User madduck
 437 Host coccia.debian.org | coccia
 438   Hostname coccia.debian.org
 439   User madduck
 440 Host corelli.debian.org | corelli
 441   Hostname corelli.debian.org
 442   User madduck
 443 Host couper.debian.org | couper
 444   Hostname couper.debian.org
 445   User madduck
 446 Host czerny.debian.org | czerny
 447   Hostname czerny.debian.org
 448   User madduck
 449 Host danzi.debian.org | danzi
 450   Hostname danzi.debian.org
 451   User madduck
 452 Host delfin.debian.org | delfin
 453   Hostname delfin.debian.org
 454   User madduck
 455 Host denis.debian.org | denis
 456   Hostname denis.debian.org
 457   User madduck
 458 Host diabelli.debian.org | diabelli
 459   Hostname diabelli.debian.org
 460   User madduck
 461 Host dijkstra.debian.org | dijkstra
 462   Hostname dijkstra.debian.org
 463   User madduck
 464 Host dillon.debian.org | dillon
 465   Hostname dillon.debian.org
 466   User madduck
 467 Host dinis.debian.org | dinis
 468   Hostname dinis.debian.org
 469   User madduck
 470 Host donizetti.debian.org | donizetti
 471   Hostname donizetti.debian.org
 472   User madduck
 473 Host draghi.debian.org | draghi
 474   Hostname draghi.debian.org
 475   User madduck
 476 Host dukas.debian.org | dukas
 477   Hostname dukas.debian.org
 478   User madduck
 479 Host eberlin.debian.org | eberlin
 480   Hostname eberlin.debian.org
 481   User madduck
 482 Host eder.debian.org | eder
 483   Hostname eder.debian.org
 484   User madduck
 485 Host elgar.debian.org | elgar
 486   Hostname elgar.debian.org
 487   User madduck
 488 Host exodar.debian.net | exodar
 489   Hostname exodar.debian.net
 490   User madduck
 491 Host eysler.debian.org | eysler
 492   Hostname eysler.debian.org
 493   User madduck
 494 Host falla.debian.org | falla
 495   Hostname falla.debian.org
 496   User madduck
 497 Host fano.debian.org | fano
 498   Hostname fano.debian.org
 499   User madduck
 500 Host fayrfax.debian.org | fayrfax
 501   Hostname fayrfax.debian.org
 502   User madduck
 503 Host fils.debian.org | fils
 504   Hostname fils.debian.org
 505   User madduck
 506 Host finzi.debian.org | finzi
 507   Hostname finzi.debian.org
 508   User madduck
 509 Host fischer.debian.org | fischer
 510   Hostname fischer.debian.org
 511   User madduck
 512 Host franck.debian.org | franck
 513   Hostname franck.debian.org
 514   User madduck
 515 Host gabrielli.debian.org | gabrielli
 516   Hostname gabrielli.debian.org
 517   User madduck
 518 Host geo1.debian.org | geo1
 519   Hostname geo1.debian.org
 520   User madduck
 521 Host geo2.debian.org | geo2
 522   Hostname geo2.debian.org
 523   User madduck
 524 Host geo3.debian.org | geo3
 525   Hostname geo3.debian.org
 526   User madduck
 527 Host glinka.debian.org | glinka
 528   Hostname glinka.debian.org
 529   User madduck
 530 Host gluck.debian.org | gluck
 531   Hostname gluck.debian.org
 532   User madduck
 533 Host gombert.debian.org | gombert
 534   Hostname gombert.debian.org
 535   User madduck
 536 Host handel.debian.org | handel
 537   Hostname handel.debian.org
 538   User madduck
 539 Host harris.debian.org | harris
 540   Hostname harris.debian.org
 541   User madduck
 542 Host hartmann.debian.org | hartmann
 543   Hostname hartmann.debian.org
 544   User madduck
 545 Host hasse.debian.org | hasse
 546   Hostname hasse.debian.org
 547   User madduck
 548 Host henze.debian.org | henze
 549   Hostname henze.debian.org
 550   User madduck
 551 Host hoiby.debian.org | hoiby
 552   Hostname hoiby.debian.org
 553   User madduck
 554 Host howells.debian.org | howells
 555   Hostname howells.debian.org
 556   User madduck
 557 Host hummel.debian.org | hummel
 558   Hostname hummel.debian.org
 559   User madduck
 560 Host io.debian.net | io
 561   Hostname io.debian.net
 562   User madduck
 563 Host ipa.debian.net | ipa
 564   Hostname ipa.debian.net
 565   User madduck
 566 Host jenkins.debian.org | jenkins
 567   Hostname jenkins.debian.org
 568   User madduck
 569 Host kaufmann.debian.org | kaufmann
 570   Hostname kaufmann.debian.org
 571   User madduck
 572 Host klecker.debian.org | klecker
 573   Hostname klecker.debian.org
 574   User madduck
 575 Host lebrun.debian.org | lebrun
 576   Hostname lebrun.debian.org
 577   User madduck
 578 Host lilburn.debian.org | lilburn
 579   Hostname lilburn.debian.org
 580   User madduck
 581 Host lobos.debian.org | lobos
 582   Hostname lobos.debian.org
 583   User madduck
 584 Host lotti.debian.org | lotti
 585   Hostname lotti.debian.org
 586   User madduck
 587 Host lucatelli.debian.org | lucatelli
 588   Hostname lucatelli.debian.org
 589   User madduck
 590 Host luchesi.debian.org | luchesi
 591   Hostname luchesi.debian.org
 592   User madduck
 593 Host lully.debian.org | lully
 594   Hostname lully.debian.org
 595   User madduck
 596 Host lw01.debian.org | lw01
 597   Hostname lw01.debian.org
 598   User madduck
 599 Host lw02.debian.org | lw02
 600   Hostname lw02.debian.org
 601   User madduck
 602 Host lw03.debian.org | lw03
 603   Hostname lw03.debian.org
 604   User madduck
 605 Host lw04.debian.org | lw04
 606   Hostname lw04.debian.org
 607   User madduck
 608 Host lw07.debian.org | lw07
 609   Hostname lw07.debian.org
 610   User madduck
 611 Host lw08.debian.org | lw08
 612   Hostname lw08.debian.org
 613   User madduck
 614 Host mailly.debian.org | mailly
 615   Hostname mailly.debian.org
 616   User madduck
 617 Host master.debian.org | master
 618   Hostname master.debian.org
 619   User madduck
 620 Host mayer.debian.org | mayer
 621   Hostname mayer.debian.org
 622   User madduck
 623 Host mayr.debian.org | mayr
 624   Hostname mayr.debian.org
 625   User madduck
 626 Host menotti.debian.org | menotti
 627   Hostname menotti.debian.org
 628   User madduck
 629 Host merulo.debian.org | merulo
 630   Hostname merulo.debian.org
 631   User madduck
 632 Host milanollo.debian.org | milanollo
 633   Hostname milanollo.debian.org
 634   User madduck
 635 Host mipsel-manda-01.debian.org | mipsel-manda-01
 636   Hostname mipsel-manda-01.debian.org
 637   User madduck
 638 Host mipsel-manda-02.debian.org | mipsel-manda-02
 639   Hostname mipsel-manda-02.debian.org
 640   User madduck
 641 Host moszumanska.debian.org | moszumanska
 642   Hostname moszumanska.debian.org
 643   User madduck
 644 Host muffat.debian.org | muffat
 645   Hostname muffat.debian.org
 646   User madduck
 647 Host mundy.debian.org | mundy
 648   Hostname mundy.debian.org
 649   User madduck
 650 Host murphy.debian.org | murphy
 651   Hostname murphy.debian.org
 652   User madduck
 653 Host nono.debian.org | nono
 654   Hostname nono.debian.org
 655   User madduck
 656 Host oyens.debian.org | oyens
 657   Hostname oyens.debian.org
 658   User madduck
 659 Host paradis.debian.org | paradis
 660   Hostname paradis.debian.org
 661   User madduck
 662 Host parry.debian.org | parry
 663   Hostname parry.debian.org
 664   User madduck
 665 Host partch.debian.org | partch
 666   Hostname partch.debian.org
 667   User madduck
 668 Host pasquini.debian.org | pasquini
 669   Hostname pasquini.debian.org
 670   User madduck
 671 Host pastel.debian.net | pastel
 672   Hostname pastel.debian.net
 673   User madduck
 674 Host pejacevic.debian.org | pejacevic
 675   Hostname pejacevic.debian.org
 676   User madduck
 677 Host peri.debian.org | peri
 678   Hostname peri.debian.org
 679   User madduck
 680 Host petrova.debian.org | petrova
 681   Hostname petrova.debian.org
 682   User madduck
 683 Host pettersson.debian.org | pettersson
 684   Hostname pettersson.debian.org
 685   User madduck
 686 Host philp.debian.org | philp
 687   Hostname philp.debian.org
 688   User madduck
 689 Host picconi.debian.org | picconi
 690   Hostname picconi.debian.org
 691   User madduck
 692 Host piu-slave-bm-a.debian.org | piu-slave-bm-a
 693   Hostname piu-slave-bm-a.debian.org
 694   User madduck
 695 Host pkgmirror-1and1.debian.org | pkgmirror-1and1
 696   Hostname pkgmirror-1and1.debian.org
 697   User madduck
 698 Host popov.debian.org | popov
 699   Hostname popov.debian.org
 700   User madduck
 701 Host porpora.debian.org | porpora
 702   Hostname porpora.debian.org
 703   User madduck
 704 Host portman.debian.org | portman
 705   Hostname portman.debian.org
 706   User madduck
 707 Host poulenc.debian.org | poulenc
 708   Hostname poulenc.debian.org
 709   User madduck
 710 Host powell.debian.org | powell
 711   Hostname powell.debian.org
 712   User madduck
 713 Host praetorius.debian.org | praetorius
 714   Hostname praetorius.debian.org
 715   User madduck
 716 Host quantz.debian.org | quantz
 717   Hostname quantz.debian.org
 718   User madduck
 719 Host rainier.debian.org | rainier
 720   Hostname rainier.debian.org
 721   User madduck
 722 Host rapoport.debian.org | rapoport
 723   Hostname rapoport.debian.org
 724   User madduck
 725 Host rautavaara.debian.org | rautavaara
 726   Hostname rautavaara.debian.org
 727   User madduck
 728 Host ravel.debian.org | ravel
 729   Hostname ravel.debian.org
 730   User madduck
 731 Host reger.debian.org | reger
 732   Hostname reger.debian.org
 733   User madduck
 734 Host rem.debian.org | rem
 735   Hostname rem.debian.org
 736   User madduck
 737 Host ries.debian.org | ries
 738   Hostname ries.debian.org
 739   User madduck
 740 Host rietz.debian.org | rietz
 741   Hostname rietz.debian.org
 742   User madduck
 743 Host rossini.debian.org | rossini
 744   Hostname rossini.debian.org
 745   User madduck
 746 Host saens.debian.org | saens
 747   Hostname saens.debian.org
 748   User madduck
 749 Host salieri.debian.org | salieri
 750   Hostname salieri.debian.org
 751   User madduck
 752 Host santoro.debian.org | santoro
 753   Hostname santoro.debian.org
 754   User madduck
 755 Host scelsi.debian.org | scelsi
 756   Hostname scelsi.debian.org
 757   User madduck
 758 Host schein.debian.org | schein
 759   Hostname schein.debian.org
 760   User madduck
 761 Host schroeder.debian.org | schroeder
 762   Hostname schroeder.debian.org
 763   User madduck
 764 Host schumann.debian.org | schumann
 765   Hostname schumann.debian.org
 766   User madduck
 767 Host sechter.debian.org | sechter
 768   Hostname sechter.debian.org
 769   User madduck
 770 Host senfl.debian.org | senfl
 771   Hostname senfl.debian.org
 772   User madduck
 773 Host senfter.debian.org | senfter
 774   Hostname senfter.debian.org
 775   User madduck
 776 Host sh4.g15.jp | sh4
 777   Hostname sh4.g15.jp
 778   User madduck
 779 Host sibelius.debian.org | sibelius
 780   Hostname sibelius.debian.org
 781   User madduck
 782 Host smetana.debian.org | smetana
 783   Hostname smetana.debian.org
 784   User madduck
 785 Host soler.debian.org | soler
 786   Hostname soler.debian.org
 787   User madduck
 788 Host sompek.debian.org | sompek
 789   Hostname sompek.debian.org
 790   User madduck
 791 Host sonntag.debian.org | sonntag
 792   Hostname sonntag.debian.org
 793   User madduck
 794 Host spohr.debian.org | spohr
 795   Hostname spohr.debian.org
 796   User madduck
 797 Host spontini.debian.org | spontini
 798   Hostname spontini.debian.org
 799   User madduck
 800 Host stabile.debian.org | stabile
 801   Hostname stabile.debian.org
 802   User madduck
 803 Host stadler.debian.org | stadler
 804   Hostname stadler.debian.org
 805   User madduck
 806 Host steffani.debian.org | steffani
 807   Hostname steffani.debian.org
 808   User madduck
 809 Host stockhausen.debian.org | stockhausen
 810   Hostname stockhausen.debian.org
 811   User madduck
 812 Host storace.debian.org | storace
 813   Hostname storace.debian.org
 814   User madduck
 815 Host strauss.debian.net | strauss
 816   Hostname strauss.debian.net
 817   User madduck
 818 Host sumotsu.debian.net | sumotsu
 819   Hostname sumotsu.debian.net
 820   User madduck
 821 Host tchaikovsky.debian.org | tchaikovsky
 822   Hostname tchaikovsky.debian.org
 823   User madduck
 824 Host ticharich.debian.org | ticharich
 825   Hostname ticharich.debian.org
 826   User madduck
 827 Host traetta.debian.org | traetta
 828   Hostname traetta.debian.org
 829   User madduck
 830 Host tristano.debian.org | tristano
 831   Hostname tristano.debian.org
 832   User madduck
 833 Host tye.debian.org | tye
 834   Hostname tye.debian.org
 835   User madduck
 836 Host ullmann.debian.org | ullmann
 837   Hostname ullmann.debian.org
 838   User madduck
 839 Host unger.debian.org | unger
 840   Hostname unger.debian.org
 841   User madduck
 842 Host vasks.debian.org | vasks
 843   Hostname vasks.debian.org
 844   User madduck
 845 Host vento.debian.org | vento
 846   Hostname vento.debian.org
 847   User madduck
 848 Host villa.debian.org | villa
 849   Hostname villa.debian.org
 850   User madduck
 851 Host vitry.debian.org | vitry
 852   Hostname vitry.debian.org
 853   User madduck
 854 Host vogler.debian.org | vogler
 855   Hostname vogler.debian.org
 856   User madduck
 857 Host wagner.debian.org | wagner
 858   Hostname wagner.debian.org
 859   User madduck
 860 Host wieck.debian.org | wieck
 861   Hostname wieck.debian.org
 862   User madduck
 863 Host wilder.debian.org | wilder
 864   Hostname wilder.debian.org
 865   User madduck
 866 Host wolkenstein.debian.org | wolkenstein
 867   Hostname wolkenstein.debian.org
 868   User madduck
 869 Host wuiet.debian.org | wuiet
 870   Hostname wuiet.debian.org
 871   User madduck
 872 Host xoothais.err.no | xoothais
 873   Hostname xoothais.err.no
 874   User madduck
 875 Host zandonai.debian.org | zandonai
 876   Hostname zandonai.debian.org
 877   User madduck
 878 Host zani.debian.org | zani
 879   Hostname zani.debian.org
 880   User madduck
 881 Host zelenka.debian.org | zelenka
 882   Hostname zelenka.debian.org
 883   User madduck
 884 Host zemlinsky.debian.org | zemlinsky
 885   Hostname zemlinsky.debian.org
 886   User madduck
 887
 888 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
 889   Hostname nelson.debconf.org
 890   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 891
 892 Host kent.debconf.org | kent
 893   Hostname kent.debconf.org
 894   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 895
 896 ### PENNY
 897
 898 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
 899   Hostname lion.mjollnir.org
 900
 901 ### TILDE CLUB
 902
 903 Host remotes.club
 904   Hostname remotes.club
 905   Port 9022
 906   User madduck
 907
 908 Host tilde.camp
 909   Hostname tilde.camp
 910   User madduck
 911
 912 Host squiggle.city
 913   Hostname squiggle.city
 914   User madduck
 915
 916 Host tilde.city
 917   Hostname 001.tilde.city
 918   User madduck
 919
 920 ### NZ
 921
 922 Host workbuffer.org | nz
 923   Hostname workbuffer.org
 924   User madduck
 925
 926 ### MISC
 927
 928 Host github.com | github
 929   Hostname github.com
 930   User git
 931
 932 ### DEFAULTS
 933
 934 Host *
 935   IgnoreUnknown *
 936   ConnectTimeout 10
 937   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
 938   ControlMaster auto
 939   ControlPersist 30
 940   ExitOnForwardFailure yes
 941   ForwardAgent no
 942   ForwardX11 no
 943   ForwardX11Trusted no
 944   HashKnownHosts no
 945   NumberOfPasswordPrompts 2
 946   PasswordAuthentication yes
 947   Protocol 2
 948   ServerAliveInterval 45
 949   StrictHostKeyChecking yes
 950   UpdateHostKeys ask
 951   VerifyHostKeyDNS ask
 952   VisualHostKey no