.ssh/config.in

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