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:

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