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