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:

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