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:

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