.ssh/config.in

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