.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   User root
 280   CanonicalDomains virt
 281   CanonicalizeHostname yes
 282   CanonicalizeFallbackLocal no
 283   CanonicalizeMaxDots 0
 284
 285 ### DEBIAN
 286
 287 Match host *.debian.org
 288   StrictHostKeyChecking ask
 289   VerifyHostKeyDNS ask
 290
 291 Host scm.alioth.debian.org
 292   HostKeyAlias moszumanska.debian.org
 293   User madduck
 294 Host svn.debian.org
 295   HostKeyAlias moszumanska.debian.org
 296   User madduck
 297 Host git.debian.org
 298   HostKeyAlias moszumanska.debian.org
 299   User madduck
 300 Host hg.debian.org
 301   HostKeyAlias moszumanska.debian.org
 302   User madduck
 303 Host cvs.debian.org
 304   HostKeyAlias moszumanska.debian.org
 305   User madduck
 306
 307 Host people.debian.org | people
 308   Hostname people.debian.org
 309   HostKeyAlias paradis.debian.org
 310   User madduck
 311
 312 Host abel.debian.org | abel
 313   Hostname abel.debian.org
 314   User madduck
 315 Host adayevskaya.debian.org | adayevskaya
 316   Hostname adayevskaya.debian.org
 317   User madduck
 318 Host alkman.debian.org | alkman
 319   Hostname alkman.debian.org
 320   User madduck
 321 Host alwyn.debian.org | alwyn
 322   Hostname alwyn.debian.org
 323   User madduck
 324 Host ancina.debian.org | ancina
 325   Hostname ancina.debian.org
 326   User madduck
 327 Host antheil.debian.org | antheil
 328   Hostname antheil.debian.org
 329   User madduck
 330 Host arnold.debian.org
 331   Hostname arnold.debian.org
 332   User madduck
 333 Host asdfasdf.debian.net | asdfasdf
 334   Hostname asdfasdf.debian.net
 335   User madduck
 336 Host babin.debian.org | babin
 337   Hostname babin.debian.org
 338   User madduck
 339 Host backuphost.debian.org | backuphost
 340   Hostname backuphost.debian.org
 341   User madduck
 342 Host ball.debian.org | ball
 343   Hostname ball.debian.org
 344   User madduck
 345 Host barber.debian.org | barber
 346   Hostname barber.debian.org
 347   User madduck
 348 Host barriere.debian.org | barriere
 349   Hostname barriere.debian.org
 350   User madduck
 351 Host beach.debian.org | beach
 352   Hostname beach.debian.org
 353   User madduck
 354 Host beethoven.debian.org | beethoven
 355   Hostname beethoven.debian.org
 356   User madduck
 357 Host bendel.debian.org | bendel
 358   Hostname bendel.debian.org
 359   User madduck
 360 Host berlioz.debian.org | berlioz
 361   Hostname berlioz.debian.org
 362   User madduck
 363 Host bertali.debian.org | bertali
 364   Hostname bertali.debian.org
 365   User madduck
 366 Host biber.debian.org | biber
 367   Hostname biber.debian.org
 368   User madduck
 369 Host binet.debian.org | binet
 370   Hostname binet.debian.org
 371   User madduck
 372 Host bizet.debian.org | bizet
 373   Hostname bizet.debian.org
 374   User madduck
 375 Host blavet.debian.org | blavet
 376   Hostname blavet.debian.org
 377   User madduck
 378 Host bm-bl1.debian.org | bm-bl1
 379   Hostname bm-bl1.debian.org
 380   User madduck
 381 Host bm-bl10.debian.org | bm-bl10
 382   Hostname bm-bl10.debian.org
 383   User madduck
 384 Host bm-bl11.debian.org | bm-bl11
 385   Hostname bm-bl11.debian.org
 386   User madduck
 387 Host bm-bl12.debian.org | bm-bl12
 388   Hostname bm-bl12.debian.org
 389   User madduck
 390 Host bm-bl2.debian.org | bm-bl2
 391   Hostname bm-bl2.debian.org
 392   User madduck
 393 Host bm-bl3.debian.org | bm-bl3
 394   Hostname bm-bl3.debian.org
 395   User madduck
 396 Host bm-bl4.debian.org | bm-bl4
 397   Hostname bm-bl4.debian.org
 398   User madduck
 399 Host bm-bl5.debian.org | bm-bl5
 400   Hostname bm-bl5.debian.org
 401   User madduck
 402 Host bm-bl6.debian.org | bm-bl6
 403   Hostname bm-bl6.debian.org
 404   User madduck
 405 Host bm-bl7.debian.org | bm-bl7
 406   Hostname bm-bl7.debian.org
 407   User madduck
 408 Host bm-bl8.debian.org | bm-bl8
 409   Hostname bm-bl8.debian.org
 410   User madduck
 411 Host bm-bl9.debian.org | bm-bl9
 412   Hostname bm-bl9.debian.org
 413   User madduck
 414 Host bmdb1.debian.org | bmdb1
 415   Hostname bmdb1.debian.org
 416   User madduck
 417 Host boito.debian.org | boito
 418   Hostname boito.debian.org
 419   User madduck
 420 Host brahms.debian.org | brahms
 421   Hostname brahms.debian.org
 422   User madduck
 423 Host busoni.debian.org | busoni
 424   Hostname busoni.debian.org
 425   User madduck
 426 Host buxtehude.debian.org | buxtehude
 427   Hostname buxtehude.debian.org
 428   User madduck
 429 Host byrd.debian.org | byrd
 430   Hostname byrd.debian.org
 431   User madduck
 432 Host caballero.debian.org | caballero
 433   Hostname caballero.debian.org
 434   User madduck
 435 Host chopin.debian.org | chopin
 436   Hostname chopin.debian.org
 437   User madduck
 438 Host clementi.debian.org | clementi
 439   Hostname clementi.debian.org
 440   User madduck
 441 Host coccia.debian.org | coccia
 442   Hostname coccia.debian.org
 443   User madduck
 444 Host corelli.debian.org | corelli
 445   Hostname corelli.debian.org
 446   User madduck
 447 Host couper.debian.org | couper
 448   Hostname couper.debian.org
 449   User madduck
 450 Host czerny.debian.org | czerny
 451   Hostname czerny.debian.org
 452   User madduck
 453 Host danzi.debian.org | danzi
 454   Hostname danzi.debian.org
 455   User madduck
 456 Host delfin.debian.org | delfin
 457   Hostname delfin.debian.org
 458   User madduck
 459 Host denis.debian.org | denis
 460   Hostname denis.debian.org
 461   User madduck
 462 Host diabelli.debian.org | diabelli
 463   Hostname diabelli.debian.org
 464   User madduck
 465 Host dijkstra.debian.org | dijkstra
 466   Hostname dijkstra.debian.org
 467   User madduck
 468 Host dillon.debian.org | dillon
 469   Hostname dillon.debian.org
 470   User madduck
 471 Host dinis.debian.org | dinis
 472   Hostname dinis.debian.org
 473   User madduck
 474 Host donizetti.debian.org | donizetti
 475   Hostname donizetti.debian.org
 476   User madduck
 477 Host draghi.debian.org | draghi
 478   Hostname draghi.debian.org
 479   User madduck
 480 Host dukas.debian.org | dukas
 481   Hostname dukas.debian.org
 482   User madduck
 483 Host eberlin.debian.org | eberlin
 484   Hostname eberlin.debian.org
 485   User madduck
 486 Host eder.debian.org | eder
 487   Hostname eder.debian.org
 488   User madduck
 489 Host elgar.debian.org | elgar
 490   Hostname elgar.debian.org
 491   User madduck
 492 Host exodar.debian.net | exodar
 493   Hostname exodar.debian.net
 494   User madduck
 495 Host eysler.debian.org | eysler
 496   Hostname eysler.debian.org
 497   User madduck
 498 Host falla.debian.org | falla
 499   Hostname falla.debian.org
 500   User madduck
 501 Host fano.debian.org | fano
 502   Hostname fano.debian.org
 503   User madduck
 504 Host fayrfax.debian.org | fayrfax
 505   Hostname fayrfax.debian.org
 506   User madduck
 507 Host fils.debian.org | fils
 508   Hostname fils.debian.org
 509   User madduck
 510 Host finzi.debian.org | finzi
 511   Hostname finzi.debian.org
 512   User madduck
 513 Host fischer.debian.org | fischer
 514   Hostname fischer.debian.org
 515   User madduck
 516 Host franck.debian.org | franck
 517   Hostname franck.debian.org
 518   User madduck
 519 Host gabrielli.debian.org | gabrielli
 520   Hostname gabrielli.debian.org
 521   User madduck
 522 Host geo1.debian.org | geo1
 523   Hostname geo1.debian.org
 524   User madduck
 525 Host geo2.debian.org | geo2
 526   Hostname geo2.debian.org
 527   User madduck
 528 Host geo3.debian.org | geo3
 529   Hostname geo3.debian.org
 530   User madduck
 531 Host glinka.debian.org | glinka
 532   Hostname glinka.debian.org
 533   User madduck
 534 Host gluck.debian.org | gluck
 535   Hostname gluck.debian.org
 536   User madduck
 537 Host gombert.debian.org | gombert
 538   Hostname gombert.debian.org
 539   User madduck
 540 Host handel.debian.org | handel
 541   Hostname handel.debian.org
 542   User madduck
 543 Host harris.debian.org | harris
 544   Hostname harris.debian.org
 545   User madduck
 546 Host hartmann.debian.org | hartmann
 547   Hostname hartmann.debian.org
 548   User madduck
 549 Host hasse.debian.org | hasse
 550   Hostname hasse.debian.org
 551   User madduck
 552 Host henze.debian.org | henze
 553   Hostname henze.debian.org
 554   User madduck
 555 Host hoiby.debian.org | hoiby
 556   Hostname hoiby.debian.org
 557   User madduck
 558 Host howells.debian.org | howells
 559   Hostname howells.debian.org
 560   User madduck
 561 Host hummel.debian.org | hummel
 562   Hostname hummel.debian.org
 563   User madduck
 564 Host io.debian.net | io
 565   Hostname io.debian.net
 566   User madduck
 567 Host ipa.debian.net | ipa
 568   Hostname ipa.debian.net
 569   User madduck
 570 Host jenkins.debian.org | jenkins
 571   Hostname jenkins.debian.org
 572   User madduck
 573 Host kaufmann.debian.org | kaufmann
 574   Hostname kaufmann.debian.org
 575   User madduck
 576 Host klecker.debian.org | klecker
 577   Hostname klecker.debian.org
 578   User madduck
 579 Host lebrun.debian.org | lebrun
 580   Hostname lebrun.debian.org
 581   User madduck
 582 Host lilburn.debian.org | lilburn
 583   Hostname lilburn.debian.org
 584   User madduck
 585 Host lobos.debian.org | lobos
 586   Hostname lobos.debian.org
 587   User madduck
 588 Host lotti.debian.org | lotti
 589   Hostname lotti.debian.org
 590   User madduck
 591 Host lucatelli.debian.org | lucatelli
 592   Hostname lucatelli.debian.org
 593   User madduck
 594 Host luchesi.debian.org | luchesi
 595   Hostname luchesi.debian.org
 596   User madduck
 597 Host lully.debian.org | lully
 598   Hostname lully.debian.org
 599   User madduck
 600 Host lw01.debian.org | lw01
 601   Hostname lw01.debian.org
 602   User madduck
 603 Host lw02.debian.org | lw02
 604   Hostname lw02.debian.org
 605   User madduck
 606 Host lw03.debian.org | lw03
 607   Hostname lw03.debian.org
 608   User madduck
 609 Host lw04.debian.org | lw04
 610   Hostname lw04.debian.org
 611   User madduck
 612 Host lw07.debian.org | lw07
 613   Hostname lw07.debian.org
 614   User madduck
 615 Host lw08.debian.org | lw08
 616   Hostname lw08.debian.org
 617   User madduck
 618 Host mailly.debian.org | mailly
 619   Hostname mailly.debian.org
 620   User madduck
 621 Host master.debian.org | master
 622   Hostname master.debian.org
 623   User madduck
 624 Host mayer.debian.org | mayer
 625   Hostname mayer.debian.org
 626   User madduck
 627 Host mayr.debian.org | mayr
 628   Hostname mayr.debian.org
 629   User madduck
 630 Host menotti.debian.org | menotti
 631   Hostname menotti.debian.org
 632   User madduck
 633 Host merulo.debian.org | merulo
 634   Hostname merulo.debian.org
 635   User madduck
 636 Host milanollo.debian.org | milanollo
 637   Hostname milanollo.debian.org
 638   User madduck
 639 Host mipsel-manda-01.debian.org | mipsel-manda-01
 640   Hostname mipsel-manda-01.debian.org
 641   User madduck
 642 Host mipsel-manda-02.debian.org | mipsel-manda-02
 643   Hostname mipsel-manda-02.debian.org
 644   User madduck
 645 Host moszumanska.debian.org | moszumanska
 646   Hostname moszumanska.debian.org
 647   User madduck
 648 Host muffat.debian.org | muffat
 649   Hostname muffat.debian.org
 650   User madduck
 651 Host mundy.debian.org | mundy
 652   Hostname mundy.debian.org
 653   User madduck
 654 Host murphy.debian.org | murphy
 655   Hostname murphy.debian.org
 656   User madduck
 657 Host nono.debian.org | nono
 658   Hostname nono.debian.org
 659   User madduck
 660 Host oyens.debian.org | oyens
 661   Hostname oyens.debian.org
 662   User madduck
 663 Host paradis.debian.org | paradis
 664   Hostname paradis.debian.org
 665   User madduck
 666 Host parry.debian.org | parry
 667   Hostname parry.debian.org
 668   User madduck
 669 Host partch.debian.org | partch
 670   Hostname partch.debian.org
 671   User madduck
 672 Host pasquini.debian.org | pasquini
 673   Hostname pasquini.debian.org
 674   User madduck
 675 Host pastel.debian.net | pastel
 676   Hostname pastel.debian.net
 677   User madduck
 678 Host pejacevic.debian.org | pejacevic
 679   Hostname pejacevic.debian.org
 680   User madduck
 681 Host peri.debian.org | peri
 682   Hostname peri.debian.org
 683   User madduck
 684 Host petrova.debian.org | petrova
 685   Hostname petrova.debian.org
 686   User madduck
 687 Host pettersson.debian.org | pettersson
 688   Hostname pettersson.debian.org
 689   User madduck
 690 Host philp.debian.org | philp
 691   Hostname philp.debian.org
 692   User madduck
 693 Host picconi.debian.org | picconi
 694   Hostname picconi.debian.org
 695   User madduck
 696 Host piu-slave-bm-a.debian.org | piu-slave-bm-a
 697   Hostname piu-slave-bm-a.debian.org
 698   User madduck
 699 Host pkgmirror-1and1.debian.org | pkgmirror-1and1
 700   Hostname pkgmirror-1and1.debian.org
 701   User madduck
 702 Host popov.debian.org | popov
 703   Hostname popov.debian.org
 704   User madduck
 705 Host porpora.debian.org | porpora
 706   Hostname porpora.debian.org
 707   User madduck
 708 Host portman.debian.org | portman
 709   Hostname portman.debian.org
 710   User madduck
 711 Host poulenc.debian.org | poulenc
 712   Hostname poulenc.debian.org
 713   User madduck
 714 Host powell.debian.org | powell
 715   Hostname powell.debian.org
 716   User madduck
 717 Host praetorius.debian.org | praetorius
 718   Hostname praetorius.debian.org
 719   User madduck
 720 Host quantz.debian.org | quantz
 721   Hostname quantz.debian.org
 722   User madduck
 723 Host rainier.debian.org | rainier
 724   Hostname rainier.debian.org
 725   User madduck
 726 Host rapoport.debian.org | rapoport
 727   Hostname rapoport.debian.org
 728   User madduck
 729 Host rautavaara.debian.org | rautavaara
 730   Hostname rautavaara.debian.org
 731   User madduck
 732 Host ravel.debian.org | ravel
 733   Hostname ravel.debian.org
 734   User madduck
 735 Host reger.debian.org | reger
 736   Hostname reger.debian.org
 737   User madduck
 738 Host rem.debian.org | rem
 739   Hostname rem.debian.org
 740   User madduck
 741 Host ries.debian.org | ries
 742   Hostname ries.debian.org
 743   User madduck
 744 Host rietz.debian.org | rietz
 745   Hostname rietz.debian.org
 746   User madduck
 747 Host rossini.debian.org | rossini
 748   Hostname rossini.debian.org
 749   User madduck
 750 Host saens.debian.org | saens
 751   Hostname saens.debian.org
 752   User madduck
 753 Host salieri.debian.org | salieri
 754   Hostname salieri.debian.org
 755   User madduck
 756 Host santoro.debian.org | santoro
 757   Hostname santoro.debian.org
 758   User madduck
 759 Host scelsi.debian.org | scelsi
 760   Hostname scelsi.debian.org
 761   User madduck
 762 Host schein.debian.org | schein
 763   Hostname schein.debian.org
 764   User madduck
 765 Host schroeder.debian.org | schroeder
 766   Hostname schroeder.debian.org
 767   User madduck
 768 Host schumann.debian.org | schumann
 769   Hostname schumann.debian.org
 770   User madduck
 771 Host sechter.debian.org | sechter
 772   Hostname sechter.debian.org
 773   User madduck
 774 Host senfl.debian.org | senfl
 775   Hostname senfl.debian.org
 776   User madduck
 777 Host senfter.debian.org | senfter
 778   Hostname senfter.debian.org
 779   User madduck
 780 Host sh4.g15.jp | sh4
 781   Hostname sh4.g15.jp
 782   User madduck
 783 Host sibelius.debian.org | sibelius
 784   Hostname sibelius.debian.org
 785   User madduck
 786 Host smetana.debian.org | smetana
 787   Hostname smetana.debian.org
 788   User madduck
 789 Host soler.debian.org | soler
 790   Hostname soler.debian.org
 791   User madduck
 792 Host sompek.debian.org | sompek
 793   Hostname sompek.debian.org
 794   User madduck
 795 Host sonntag.debian.org | sonntag
 796   Hostname sonntag.debian.org
 797   User madduck
 798 Host spohr.debian.org | spohr
 799   Hostname spohr.debian.org
 800   User madduck
 801 Host spontini.debian.org | spontini
 802   Hostname spontini.debian.org
 803   User madduck
 804 Host stabile.debian.org | stabile
 805   Hostname stabile.debian.org
 806   User madduck
 807 Host stadler.debian.org | stadler
 808   Hostname stadler.debian.org
 809   User madduck
 810 Host steffani.debian.org | steffani
 811   Hostname steffani.debian.org
 812   User madduck
 813 Host stockhausen.debian.org | stockhausen
 814   Hostname stockhausen.debian.org
 815   User madduck
 816 Host storace.debian.org | storace
 817   Hostname storace.debian.org
 818   User madduck
 819 Host strauss.debian.net | strauss
 820   Hostname strauss.debian.net
 821   User madduck
 822 Host sumotsu.debian.net | sumotsu
 823   Hostname sumotsu.debian.net
 824   User madduck
 825 Host tchaikovsky.debian.org | tchaikovsky
 826   Hostname tchaikovsky.debian.org
 827   User madduck
 828 Host ticharich.debian.org | ticharich
 829   Hostname ticharich.debian.org
 830   User madduck
 831 Host traetta.debian.org | traetta
 832   Hostname traetta.debian.org
 833   User madduck
 834 Host tristano.debian.org | tristano
 835   Hostname tristano.debian.org
 836   User madduck
 837 Host tye.debian.org | tye
 838   Hostname tye.debian.org
 839   User madduck
 840 Host ullmann.debian.org | ullmann
 841   Hostname ullmann.debian.org
 842   User madduck
 843 Host unger.debian.org | unger
 844   Hostname unger.debian.org
 845   User madduck
 846 Host vasks.debian.org | vasks
 847   Hostname vasks.debian.org
 848   User madduck
 849 Host vento.debian.org | vento
 850   Hostname vento.debian.org
 851   User madduck
 852 Host villa.debian.org | villa
 853   Hostname villa.debian.org
 854   User madduck
 855 Host vitry.debian.org | vitry
 856   Hostname vitry.debian.org
 857   User madduck
 858 Host vogler.debian.org | vogler
 859   Hostname vogler.debian.org
 860   User madduck
 861 Host wagner.debian.org | wagner
 862   Hostname wagner.debian.org
 863   User madduck
 864 Host wieck.debian.org | wieck
 865   Hostname wieck.debian.org
 866   User madduck
 867 Host wilder.debian.org | wilder
 868   Hostname wilder.debian.org
 869   User madduck
 870 Host wolkenstein.debian.org | wolkenstein
 871   Hostname wolkenstein.debian.org
 872   User madduck
 873 Host wuiet.debian.org | wuiet
 874   Hostname wuiet.debian.org
 875   User madduck
 876 Host xoothais.err.no | xoothais
 877   Hostname xoothais.err.no
 878   User madduck
 879 Host zandonai.debian.org | zandonai
 880   Hostname zandonai.debian.org
 881   User madduck
 882 Host zani.debian.org | zani
 883   Hostname zani.debian.org
 884   User madduck
 885 Host zelenka.debian.org | zelenka
 886   Hostname zelenka.debian.org
 887   User madduck
 888 Host zemlinsky.debian.org | zemlinsky
 889   Hostname zemlinsky.debian.org
 890   User madduck
 891
 892 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
 893   Hostname nelson.debconf.org
 894   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 895
 896 Host kent.debconf.org | kent
 897   Hostname kent.debconf.org
 898   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 899
 900 ### PENNY
 901
 902 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
 903   Hostname lion.mjollnir.org
 904
 905 ### TILDE CLUB
 906
 907 Host remotes.club
 908   Hostname remotes.club
 909   Port 9022
 910   User madduck
 911
 912 Host tilde.camp
 913   Hostname tilde.camp
 914   User madduck
 915
 916 Host squiggle.city
 917   Hostname squiggle.city
 918   User madduck
 919
 920 Host tilde.city
 921   Hostname 001.tilde.city
 922   User madduck
 923
 924 ### NZ
 925
 926 Host workbuffer.org | nz
 927   Hostname workbuffer.org
 928   User madduck
 929
 930 ### MISC
 931
 932 Host github.com | github
 933   Hostname github.com
 934   User git
 935
 936 ### DEFAULTS
 937
 938 Host *
 939   IgnoreUnknown *
 940   ConnectTimeout 10
 941   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
 942   ControlMaster auto
 943   ControlPersist 30
 944   ExitOnForwardFailure yes
 945   ForwardAgent no
 946   ForwardX11 no
 947   ForwardX11Trusted no
 948   HashKnownHosts no
 949   NumberOfPasswordPrompts 2
 950   PasswordAuthentication yes
 951   Protocol 2
 952   ServerAliveInterval 45
 953   StrictHostKeyChecking yes
 954   UpdateHostKeys ask
 955   VerifyHostKeyDNS ask
 956   VisualHostKey no