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:

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