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:

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