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:

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