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:

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