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