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:

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