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:

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