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:

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