madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

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