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