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