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:

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