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