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:

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