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 seamus
[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   User root
280   CanonicalDomains virt
281   CanonicalizeHostname yes
282   CanonicalizeFallbackLocal no
283   CanonicalizeMaxDots 0
284
285 ### DEBIAN
286
287 Match host *.debian.org
288   StrictHostKeyChecking ask
289   VerifyHostKeyDNS ask
290
291 Host scm.alioth.debian.org
292   HostKeyAlias moszumanska.debian.org
293   User madduck
294 Host svn.debian.org
295   HostKeyAlias moszumanska.debian.org
296   User madduck
297 Host git.debian.org
298   HostKeyAlias moszumanska.debian.org
299   User madduck
300 Host hg.debian.org
301   HostKeyAlias moszumanska.debian.org
302   User madduck
303 Host cvs.debian.org
304   HostKeyAlias moszumanska.debian.org
305   User madduck
306
307 Host people.debian.org | people
308   Hostname people.debian.org
309   HostKeyAlias paradis.debian.org
310   User madduck
311
312 Host abel.debian.org | abel
313   Hostname abel.debian.org
314   User madduck
315 Host adayevskaya.debian.org | adayevskaya
316   Hostname adayevskaya.debian.org
317   User madduck
318 Host alkman.debian.org | alkman
319   Hostname alkman.debian.org
320   User madduck
321 Host alwyn.debian.org | alwyn
322   Hostname alwyn.debian.org
323   User madduck
324 Host ancina.debian.org | ancina
325   Hostname ancina.debian.org
326   User madduck
327 Host antheil.debian.org | antheil
328   Hostname antheil.debian.org
329   User madduck
330 Host arnold.debian.org
331   Hostname arnold.debian.org
332   User madduck
333 Host asdfasdf.debian.net | asdfasdf
334   Hostname asdfasdf.debian.net
335   User madduck
336 Host babin.debian.org | babin
337   Hostname babin.debian.org
338   User madduck
339 Host backuphost.debian.org | backuphost
340   Hostname backuphost.debian.org
341   User madduck
342 Host ball.debian.org | ball
343   Hostname ball.debian.org
344   User madduck
345 Host barber.debian.org | barber
346   Hostname barber.debian.org
347   User madduck
348 Host barriere.debian.org | barriere
349   Hostname barriere.debian.org
350   User madduck
351 Host beach.debian.org | beach
352   Hostname beach.debian.org
353   User madduck
354 Host beethoven.debian.org | beethoven
355   Hostname beethoven.debian.org
356   User madduck
357 Host bendel.debian.org | bendel
358   Hostname bendel.debian.org
359   User madduck
360 Host berlioz.debian.org | berlioz
361   Hostname berlioz.debian.org
362   User madduck
363 Host bertali.debian.org | bertali
364   Hostname bertali.debian.org
365   User madduck
366 Host biber.debian.org | biber
367   Hostname biber.debian.org
368   User madduck
369 Host binet.debian.org | binet
370   Hostname binet.debian.org
371   User madduck
372 Host bizet.debian.org | bizet
373   Hostname bizet.debian.org
374   User madduck
375 Host blavet.debian.org | blavet
376   Hostname blavet.debian.org
377   User madduck
378 Host bm-bl1.debian.org | bm-bl1
379   Hostname bm-bl1.debian.org
380   User madduck
381 Host bm-bl10.debian.org | bm-bl10
382   Hostname bm-bl10.debian.org
383   User madduck
384 Host bm-bl11.debian.org | bm-bl11
385   Hostname bm-bl11.debian.org
386   User madduck
387 Host bm-bl12.debian.org | bm-bl12
388   Hostname bm-bl12.debian.org
389   User madduck
390 Host bm-bl2.debian.org | bm-bl2
391   Hostname bm-bl2.debian.org
392   User madduck
393 Host bm-bl3.debian.org | bm-bl3
394   Hostname bm-bl3.debian.org
395   User madduck
396 Host bm-bl4.debian.org | bm-bl4
397   Hostname bm-bl4.debian.org
398   User madduck
399 Host bm-bl5.debian.org | bm-bl5
400   Hostname bm-bl5.debian.org
401   User madduck
402 Host bm-bl6.debian.org | bm-bl6
403   Hostname bm-bl6.debian.org
404   User madduck
405 Host bm-bl7.debian.org | bm-bl7
406   Hostname bm-bl7.debian.org
407   User madduck
408 Host bm-bl8.debian.org | bm-bl8
409   Hostname bm-bl8.debian.org
410   User madduck
411 Host bm-bl9.debian.org | bm-bl9
412   Hostname bm-bl9.debian.org
413   User madduck
414 Host bmdb1.debian.org | bmdb1
415   Hostname bmdb1.debian.org
416   User madduck
417 Host boito.debian.org | boito
418   Hostname boito.debian.org
419   User madduck
420 Host brahms.debian.org | brahms
421   Hostname brahms.debian.org
422   User madduck
423 Host busoni.debian.org | busoni
424   Hostname busoni.debian.org
425   User madduck
426 Host buxtehude.debian.org | buxtehude
427   Hostname buxtehude.debian.org
428   User madduck
429 Host byrd.debian.org | byrd
430   Hostname byrd.debian.org
431   User madduck
432 Host caballero.debian.org | caballero
433   Hostname caballero.debian.org
434   User madduck
435 Host chopin.debian.org | chopin
436   Hostname chopin.debian.org
437   User madduck
438 Host clementi.debian.org | clementi
439   Hostname clementi.debian.org
440   User madduck
441 Host coccia.debian.org | coccia
442   Hostname coccia.debian.org
443   User madduck
444 Host corelli.debian.org | corelli
445   Hostname corelli.debian.org
446   User madduck
447 Host couper.debian.org | couper
448   Hostname couper.debian.org
449   User madduck
450 Host czerny.debian.org | czerny
451   Hostname czerny.debian.org
452   User madduck
453 Host danzi.debian.org | danzi
454   Hostname danzi.debian.org
455   User madduck
456 Host delfin.debian.org | delfin
457   Hostname delfin.debian.org
458   User madduck
459 Host denis.debian.org | denis
460   Hostname denis.debian.org
461   User madduck
462 Host diabelli.debian.org | diabelli
463   Hostname diabelli.debian.org
464   User madduck
465 Host dijkstra.debian.org | dijkstra
466   Hostname dijkstra.debian.org
467   User madduck
468 Host dillon.debian.org | dillon
469   Hostname dillon.debian.org
470   User madduck
471 Host dinis.debian.org | dinis
472   Hostname dinis.debian.org
473   User madduck
474 Host donizetti.debian.org | donizetti
475   Hostname donizetti.debian.org
476   User madduck
477 Host draghi.debian.org | draghi
478   Hostname draghi.debian.org
479   User madduck
480 Host dukas.debian.org | dukas
481   Hostname dukas.debian.org
482   User madduck
483 Host eberlin.debian.org | eberlin
484   Hostname eberlin.debian.org
485   User madduck
486 Host eder.debian.org | eder
487   Hostname eder.debian.org
488   User madduck
489 Host elgar.debian.org | elgar
490   Hostname elgar.debian.org
491   User madduck
492 Host exodar.debian.net | exodar
493   Hostname exodar.debian.net
494   User madduck
495 Host eysler.debian.org | eysler
496   Hostname eysler.debian.org
497   User madduck
498 Host falla.debian.org | falla
499   Hostname falla.debian.org
500   User madduck
501 Host fano.debian.org | fano
502   Hostname fano.debian.org
503   User madduck
504 Host fayrfax.debian.org | fayrfax
505   Hostname fayrfax.debian.org
506   User madduck
507 Host fils.debian.org | fils
508   Hostname fils.debian.org
509   User madduck
510 Host finzi.debian.org | finzi
511   Hostname finzi.debian.org
512   User madduck
513 Host fischer.debian.org | fischer
514   Hostname fischer.debian.org
515   User madduck
516 Host franck.debian.org | franck
517   Hostname franck.debian.org
518   User madduck
519 Host gabrielli.debian.org | gabrielli
520   Hostname gabrielli.debian.org
521   User madduck
522 Host geo1.debian.org | geo1
523   Hostname geo1.debian.org
524   User madduck
525 Host geo2.debian.org | geo2
526   Hostname geo2.debian.org
527   User madduck
528 Host geo3.debian.org | geo3
529   Hostname geo3.debian.org
530   User madduck
531 Host glinka.debian.org | glinka
532   Hostname glinka.debian.org
533   User madduck
534 Host gluck.debian.org | gluck
535   Hostname gluck.debian.org
536   User madduck
537 Host gombert.debian.org | gombert
538   Hostname gombert.debian.org
539   User madduck
540 Host handel.debian.org | handel
541   Hostname handel.debian.org
542   User madduck
543 Host harris.debian.org | harris
544   Hostname harris.debian.org
545   User madduck
546 Host hartmann.debian.org | hartmann
547   Hostname hartmann.debian.org
548   User madduck
549 Host hasse.debian.org | hasse
550   Hostname hasse.debian.org
551   User madduck
552 Host henze.debian.org | henze
553   Hostname henze.debian.org
554   User madduck
555 Host hoiby.debian.org | hoiby
556   Hostname hoiby.debian.org
557   User madduck
558 Host howells.debian.org | howells
559   Hostname howells.debian.org
560   User madduck
561 Host hummel.debian.org | hummel
562   Hostname hummel.debian.org
563   User madduck
564 Host io.debian.net | io
565   Hostname io.debian.net
566   User madduck
567 Host ipa.debian.net | ipa
568   Hostname ipa.debian.net
569   User madduck
570 Host jenkins.debian.org | jenkins
571   Hostname jenkins.debian.org
572   User madduck
573 Host kaufmann.debian.org | kaufmann
574   Hostname kaufmann.debian.org
575   User madduck
576 Host klecker.debian.org | klecker
577   Hostname klecker.debian.org
578   User madduck
579 Host lebrun.debian.org | lebrun
580   Hostname lebrun.debian.org
581   User madduck
582 Host lilburn.debian.org | lilburn
583   Hostname lilburn.debian.org
584   User madduck
585 Host lobos.debian.org | lobos
586   Hostname lobos.debian.org
587   User madduck
588 Host lotti.debian.org | lotti
589   Hostname lotti.debian.org
590   User madduck
591 Host lucatelli.debian.org | lucatelli
592   Hostname lucatelli.debian.org
593   User madduck
594 Host luchesi.debian.org | luchesi
595   Hostname luchesi.debian.org
596   User madduck
597 Host lully.debian.org | lully
598   Hostname lully.debian.org
599   User madduck
600 Host lw01.debian.org | lw01
601   Hostname lw01.debian.org
602   User madduck
603 Host lw02.debian.org | lw02
604   Hostname lw02.debian.org
605   User madduck
606 Host lw03.debian.org | lw03
607   Hostname lw03.debian.org
608   User madduck
609 Host lw04.debian.org | lw04
610   Hostname lw04.debian.org
611   User madduck
612 Host lw07.debian.org | lw07
613   Hostname lw07.debian.org
614   User madduck
615 Host lw08.debian.org | lw08
616   Hostname lw08.debian.org
617   User madduck
618 Host mailly.debian.org | mailly
619   Hostname mailly.debian.org
620   User madduck
621 Host master.debian.org | master
622   Hostname master.debian.org
623   User madduck
624 Host mayer.debian.org | mayer
625   Hostname mayer.debian.org
626   User madduck
627 Host mayr.debian.org | mayr
628   Hostname mayr.debian.org
629   User madduck
630 Host menotti.debian.org | menotti
631   Hostname menotti.debian.org
632   User madduck
633 Host merulo.debian.org | merulo
634   Hostname merulo.debian.org
635   User madduck
636 Host milanollo.debian.org | milanollo
637   Hostname milanollo.debian.org
638   User madduck
639 Host mipsel-manda-01.debian.org | mipsel-manda-01
640   Hostname mipsel-manda-01.debian.org
641   User madduck
642 Host mipsel-manda-02.debian.org | mipsel-manda-02
643   Hostname mipsel-manda-02.debian.org
644   User madduck
645 Host moszumanska.debian.org | moszumanska
646   Hostname moszumanska.debian.org
647   User madduck
648 Host muffat.debian.org | muffat
649   Hostname muffat.debian.org
650   User madduck
651 Host mundy.debian.org | mundy
652   Hostname mundy.debian.org
653   User madduck
654 Host murphy.debian.org | murphy
655   Hostname murphy.debian.org
656   User madduck
657 Host nono.debian.org | nono
658   Hostname nono.debian.org
659   User madduck
660 Host oyens.debian.org | oyens
661   Hostname oyens.debian.org
662   User madduck
663 Host paradis.debian.org | paradis
664   Hostname paradis.debian.org
665   User madduck
666 Host parry.debian.org | parry
667   Hostname parry.debian.org
668   User madduck
669 Host partch.debian.org | partch
670   Hostname partch.debian.org
671   User madduck
672 Host pasquini.debian.org | pasquini
673   Hostname pasquini.debian.org
674   User madduck
675 Host pastel.debian.net | pastel
676   Hostname pastel.debian.net
677   User madduck
678 Host pejacevic.debian.org | pejacevic
679   Hostname pejacevic.debian.org
680   User madduck
681 Host peri.debian.org | peri
682   Hostname peri.debian.org
683   User madduck
684 Host petrova.debian.org | petrova
685   Hostname petrova.debian.org
686   User madduck
687 Host pettersson.debian.org | pettersson
688   Hostname pettersson.debian.org
689   User madduck
690 Host philp.debian.org | philp
691   Hostname philp.debian.org
692   User madduck
693 Host picconi.debian.org | picconi
694   Hostname picconi.debian.org
695   User madduck
696 Host piu-slave-bm-a.debian.org | piu-slave-bm-a
697   Hostname piu-slave-bm-a.debian.org
698   User madduck
699 Host pkgmirror-1and1.debian.org | pkgmirror-1and1
700   Hostname pkgmirror-1and1.debian.org
701   User madduck
702 Host popov.debian.org | popov
703   Hostname popov.debian.org
704   User madduck
705 Host porpora.debian.org | porpora
706   Hostname porpora.debian.org
707   User madduck
708 Host portman.debian.org | portman
709   Hostname portman.debian.org
710   User madduck
711 Host poulenc.debian.org | poulenc
712   Hostname poulenc.debian.org
713   User madduck
714 Host powell.debian.org | powell
715   Hostname powell.debian.org
716   User madduck
717 Host praetorius.debian.org | praetorius
718   Hostname praetorius.debian.org
719   User madduck
720 Host quantz.debian.org | quantz
721   Hostname quantz.debian.org
722   User madduck
723 Host rainier.debian.org | rainier
724   Hostname rainier.debian.org
725   User madduck
726 Host rapoport.debian.org | rapoport
727   Hostname rapoport.debian.org
728   User madduck
729 Host rautavaara.debian.org | rautavaara
730   Hostname rautavaara.debian.org
731   User madduck
732 Host ravel.debian.org | ravel
733   Hostname ravel.debian.org
734   User madduck
735 Host reger.debian.org | reger
736   Hostname reger.debian.org
737   User madduck
738 Host rem.debian.org | rem
739   Hostname rem.debian.org
740   User madduck
741 Host ries.debian.org | ries
742   Hostname ries.debian.org
743   User madduck
744 Host rietz.debian.org | rietz
745   Hostname rietz.debian.org
746   User madduck
747 Host rossini.debian.org | rossini
748   Hostname rossini.debian.org
749   User madduck
750 Host saens.debian.org | saens
751   Hostname saens.debian.org
752   User madduck
753 Host salieri.debian.org | salieri
754   Hostname salieri.debian.org
755   User madduck
756 Host santoro.debian.org | santoro
757   Hostname santoro.debian.org
758   User madduck
759 Host scelsi.debian.org | scelsi
760   Hostname scelsi.debian.org
761   User madduck
762 Host schein.debian.org | schein
763   Hostname schein.debian.org
764   User madduck
765 Host schroeder.debian.org | schroeder
766   Hostname schroeder.debian.org
767   User madduck
768 Host schumann.debian.org | schumann
769   Hostname schumann.debian.org
770   User madduck
771 Host sechter.debian.org | sechter
772   Hostname sechter.debian.org
773   User madduck
774 Host senfl.debian.org | senfl
775   Hostname senfl.debian.org
776   User madduck
777 Host senfter.debian.org | senfter
778   Hostname senfter.debian.org
779   User madduck
780 Host sh4.g15.jp | sh4
781   Hostname sh4.g15.jp
782   User madduck
783 Host sibelius.debian.org | sibelius
784   Hostname sibelius.debian.org
785   User madduck
786 Host smetana.debian.org | smetana
787   Hostname smetana.debian.org
788   User madduck
789 Host soler.debian.org | soler
790   Hostname soler.debian.org
791   User madduck
792 Host sompek.debian.org | sompek
793   Hostname sompek.debian.org
794   User madduck
795 Host sonntag.debian.org | sonntag
796   Hostname sonntag.debian.org
797   User madduck
798 Host spohr.debian.org | spohr
799   Hostname spohr.debian.org
800   User madduck
801 Host spontini.debian.org | spontini
802   Hostname spontini.debian.org
803   User madduck
804 Host stabile.debian.org | stabile
805   Hostname stabile.debian.org
806   User madduck
807 Host stadler.debian.org | stadler
808   Hostname stadler.debian.org
809   User madduck
810 Host steffani.debian.org | steffani
811   Hostname steffani.debian.org
812   User madduck
813 Host stockhausen.debian.org | stockhausen
814   Hostname stockhausen.debian.org
815   User madduck
816 Host storace.debian.org | storace
817   Hostname storace.debian.org
818   User madduck
819 Host strauss.debian.net | strauss
820   Hostname strauss.debian.net
821   User madduck
822 Host sumotsu.debian.net | sumotsu
823   Hostname sumotsu.debian.net
824   User madduck
825 Host tchaikovsky.debian.org | tchaikovsky
826   Hostname tchaikovsky.debian.org
827   User madduck
828 Host ticharich.debian.org | ticharich
829   Hostname ticharich.debian.org
830   User madduck
831 Host traetta.debian.org | traetta
832   Hostname traetta.debian.org
833   User madduck
834 Host tristano.debian.org | tristano
835   Hostname tristano.debian.org
836   User madduck
837 Host tye.debian.org | tye
838   Hostname tye.debian.org
839   User madduck
840 Host ullmann.debian.org | ullmann
841   Hostname ullmann.debian.org
842   User madduck
843 Host unger.debian.org | unger
844   Hostname unger.debian.org
845   User madduck
846 Host vasks.debian.org | vasks
847   Hostname vasks.debian.org
848   User madduck
849 Host vento.debian.org | vento
850   Hostname vento.debian.org
851   User madduck
852 Host villa.debian.org | villa
853   Hostname villa.debian.org
854   User madduck
855 Host vitry.debian.org | vitry
856   Hostname vitry.debian.org
857   User madduck
858 Host vogler.debian.org | vogler
859   Hostname vogler.debian.org
860   User madduck
861 Host wagner.debian.org | wagner
862   Hostname wagner.debian.org
863   User madduck
864 Host wieck.debian.org | wieck
865   Hostname wieck.debian.org
866   User madduck
867 Host wilder.debian.org | wilder
868   Hostname wilder.debian.org
869   User madduck
870 Host wolkenstein.debian.org | wolkenstein
871   Hostname wolkenstein.debian.org
872   User madduck
873 Host wuiet.debian.org | wuiet
874   Hostname wuiet.debian.org
875   User madduck
876 Host xoothais.err.no | xoothais
877   Hostname xoothais.err.no
878   User madduck
879 Host zandonai.debian.org | zandonai
880   Hostname zandonai.debian.org
881   User madduck
882 Host zani.debian.org | zani
883   Hostname zani.debian.org
884   User madduck
885 Host zelenka.debian.org | zelenka
886   Hostname zelenka.debian.org
887   User madduck
888 Host zemlinsky.debian.org | zemlinsky
889   Hostname zemlinsky.debian.org
890   User madduck
891
892 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
893   Hostname nelson.debconf.org
894   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
895
896 Host kent.debconf.org | kent
897   Hostname kent.debconf.org
898   ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
899
900 ### PENNY
901
902 Host lion.mjollnir.org | lion | fog.mjollnir.org | fog
903   Hostname lion.mjollnir.org
904
905 ### TILDE CLUB
906
907 Host remotes.club
908   Hostname remotes.club
909   Port 9022
910   User madduck
911
912 Host tilde.camp
913   Hostname tilde.camp
914   User madduck
915
916 Host squiggle.city
917   Hostname squiggle.city
918   User madduck
919
920 Host tilde.city
921   Hostname 001.tilde.city
922   User madduck
923
924 ### NZ
925
926 Host workbuffer.org | nz
927   Hostname workbuffer.org
928   User madduck
929
930 ### MISC
931
932 Host github.com | github
933   Hostname github.com
934   User git
935
936 ### DEFAULTS
937
938 Host *
939   IgnoreUnknown *
940   ConnectTimeout 10
941   ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
942   ControlMaster auto
943   ControlPersist 30
944   ExitOnForwardFailure yes
945   ForwardAgent no
946   ForwardX11 no
947   ForwardX11Trusted no
948   HashKnownHosts no
949   NumberOfPasswordPrompts 2
950   PasswordAuthentication yes
951   Protocol 2
952   ServerAliveInterval 45
953   StrictHostKeyChecking yes
954   UpdateHostKeys ask
955   VerifyHostKeyDNS ask
956   VisualHostKey no