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