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