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:

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