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