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