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