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