.ssh/config.in

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