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:

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