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