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